]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/configure.in
Version number updated.
[helm.git] / 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