]> matita.cs.unibo.it Git - helm.git/commitdiff
Version number updated.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 12 Nov 2001 14:07:04 +0000 (14:07 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 12 Nov 2001 14:07:04 +0000 (14:07 +0000)
helm/http_getter/configure.in

index d8325a7431864909894f84a9c08b9ff2ed4344b3..24a2fda0372ebefc4f5f345c2db266f10367940e 100644 (file)
@@ -3,7 +3,7 @@ AC_INIT(http_getter.pl.in)
 PACKAGE=helm_http_getter
 MAJOR_VERSION=0
 MINOR_VERSION=1
-MICRO_VERSION=49
+MICRO_VERSION=53
 VERSION=$MAJOR_VERSION.$MINOR_VERSION.$MICRO_VERSION
 
 DEFAULT_HELM_LIB_DIR=/usr/local/lib/helm