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