From: Luca Padovani Date: Wed, 22 Aug 2001 12:19:22 +0000 (+0000) Subject: configure.in : new version X-Git-Tag: v0_1_3~95 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=494bbe8d804c587488349dc1e1fa976e6f892ec0;p=helm.git configure.in : new version --- diff --git a/helm/helmpot/configure.in b/helm/helmpot/configure.in index a5682856b..606a37f40 100644 --- a/helm/helmpot/configure.in +++ b/helm/helmpot/configure.in @@ -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