aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlban Gruin2021-10-04 12:53:42 +0200
committerAlban Gruin2021-10-04 12:53:42 +0200
commit8cfcb06803ec43a75ccea8a1c0c6fa3f4f43167a (patch)
tree2bcc0df92b22171594b81f0ccd0affa49641ecfc
parent3bed39113f475ae9b1243ab6a018169ef9bf8c92 (diff)
µCS 0.3.1v0.3.1
Signed-off-by: Alban Gruin <alban at pa1ch dot fr>
-rw-r--r--dune-project2
-rw-r--r--src/pages.ml2
2 files changed, 2 insertions, 2 deletions
diff --git a/dune-project b/dune-project
index 0d83361..db127ab 100644
--- a/dune-project
+++ b/dune-project
@@ -1,6 +1,6 @@
(lang dune 2.0)
(name ucs)
-(version 0.3.0)
+(version 0.3.1)
(package
(name ucs))
diff --git a/src/pages.ml b/src/pages.ml
index a1bbc1e..86396a4 100644
--- a/src/pages.ml
+++ b/src/pages.ml
@@ -34,7 +34,7 @@ let common content =
<article>|} ^ content ^
{| </article>
<footer>
- <p>(c) 2021 &ndash; Alban Gruin &ndash; µCS |} ^ escape (Version.version ()) ^ {| « &#9733; GEMINI II &#9733; »</p>
+ <p>(c) 2021 &ndash; Alban Gruin &ndash; µCS |} ^ escape (Version.version ()) ^ {| « GEMINI II »</p>
</footer>
</body>
</html>