]> matita.cs.unibo.it Git - helm.git/commitdiff
added comment about version number to be manually changed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Jan 2023 10:59:56 +0000 (11:59 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 14 Feb 2023 14:23:41 +0000 (15:23 +0100)
matita/dune-project

index 67cf3618d8bf2255a942f359f550f56c7245ebaf..dadb3b95b8b965e6b122f0395645a04fda6f611d 100644 (file)
@@ -3,6 +3,7 @@
 
 (name matita)
 
+; Remember to change manually also matita/help/C/version.txt.in
 (version 0.99.5)
 
 (generate_opam_files true)