]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/helmpot/configure.in
bug fix (helm selection) and new version (sigh)
[helm.git] / helm / helmpot / configure.in
index 606a37f406724b1d328d10c03f010c245fe08d51..58025f81624a30e8ac6433180d12e1959cc8a57d 100644 (file)
@@ -3,7 +3,7 @@ AC_INIT(main.c)
 
 HELMPOT_MAJOR_VERSION=0
 HELMPOT_MINOR_VERSION=0
-HELMPOT_MICRO_VERSION=2
+HELMPOT_MICRO_VERSION=3
 HELMPOT_VERSION=$HELMPOT_MAJOR_VERSION.$HELMPOT_MINOR_VERSION.$HELMPOT_MICRO_VERSION
 VERSION=$HELMPOT_VERSION