]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/configuration/configure.in
*** empty log message ***
[helm.git] / helm / configuration / configure.in
index 2db664ed0a3556c7d95764dcdff1c8f40e3447e8..925b4da6bd0c6bfa9feaafa00e6abf0faf5cd545 100644 (file)
@@ -4,7 +4,7 @@ PACKAGE=helm_configuration
 
 HELM_MAJOR_VERSION=0
 HELM_MINOR_VERSION=0
-HELM_MICRO_VERSION=1
+HELM_MICRO_VERSION=2
 HELM_VERSION=$HELM_MAJOR_VERSION.$HELM_MINOR_VERSION.$HELM_MICRO_VERSION
 
 if test "x$prefix" != xNONE; then