From 06dee6b6e81839b3328dd054f8b0ef349f9f1051 Mon Sep 17 00:00:00 2001
From: SimonGuilloud <sim-guilloud@bluewin.ch>
Date: Tue, 15 Feb 2022 18:54:27 +0100
Subject: [PATCH] Update README.md
---
README.md | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/README.md b/README.md
index a7c3f4ef..c3e295b4 100644
--- a/README.md
+++ b/README.md
@@ -23,7 +23,7 @@ The TPTP package contains a parser from the TPTP file format to LISA. The simple
* `sbt doc` to generate the Scala documentation
-# LICENSE
+## LICENSE
Copyright [2022] [EPFL]
Licensed under the Apache License, Version 2.0 (the "License");
--
GitLab