]> matita.cs.unibo.it Git - helm.git/commitdiff
*** empty log message ***
authorLuca Padovani <luca.padovani@unito.it>
Fri, 19 Jan 2001 11:04:22 +0000 (11:04 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Fri, 19 Jan 2001 11:04:22 +0000 (11:04 +0000)
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