]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/helena/MakeVersion
last commit for helena 0.8.2
[helm.git] / helm / software / helena / MakeVersion
index 6f4eebdf6f68fc72411793cdb19e3f1715b117f3..100435be135a32ae8974fe4dd281c4d3a9d62e02 100644 (file)
@@ -1 +1 @@
-0.8.1
+0.8.2