From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 12 Nov 2001 14:07:04 +0000 (+0000)
Subject: Version number updated.
X-Git-Tag: mlminidom_0_2_2~108
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=205986f235e380ed91d366621adba351c8290815;p=helm.git

Version number updated.
---

diff --git a/helm/http_getter/configure.in b/helm/http_getter/configure.in
index d8325a743..24a2fda03 100644
--- a/helm/http_getter/configure.in
+++ b/helm/http_getter/configure.in
@@ -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