]> matita.cs.unibo.it Git - helm.git/commitdiff
configure.in : new version
authorLuca Padovani <luca.padovani@unito.it>
Wed, 22 Aug 2001 12:19:22 +0000 (12:19 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 22 Aug 2001 12:19:22 +0000 (12:19 +0000)
helm/helmpot/configure.in

index a5682856bd2095c825dde0fbc658dab1531ca3b4..606a37f406724b1d328d10c03f010c245fe08d51 100644 (file)
@@ -3,7 +3,7 @@ AC_INIT(main.c)
 
 HELMPOT_MAJOR_VERSION=0
 HELMPOT_MINOR_VERSION=0
-HELMPOT_MICRO_VERSION=1
+HELMPOT_MICRO_VERSION=2
 HELMPOT_VERSION=$HELMPOT_MAJOR_VERSION.$HELMPOT_MINOR_VERSION.$HELMPOT_MICRO_VERSION
 VERSION=$HELMPOT_VERSION