From: Claudio Sacerdoti Coen Date: Tue, 13 Nov 2001 18:26:52 +0000 (+0000) Subject: 0.0.2 ==> 0.2.0 ;-) X-Git-Tag: mlminidom_0_2_2~98 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0db688b75474e712a3ec7f05180b0cb06002fae2;hp=a45419dbbc4e0deab323fe3ce9f1e1d71523745f;p=helm.git 0.0.2 ==> 0.2.0 ;-) --- diff --git a/helm/DEVEL/mlminidom/configure.in b/helm/DEVEL/mlminidom/configure.in index 61d7770f4..6c96b5e7c 100644 --- a/helm/DEVEL/mlminidom/configure.in +++ b/helm/DEVEL/mlminidom/configure.in @@ -3,8 +3,8 @@ AC_INIT(minidom.ml) PACKAGE=mlminidom MLMINIDOM_MAJOR_VERSION=0 -MLMINIDOM_MINOR_VERSION=0 -MLMINIDOM_MICRO_VERSION=2 +MLMINIDOM_MINOR_VERSION=2 +MLMINIDOM_MICRO_VERSION=0 MLMINIDOM_VERSION=$MLMINIDOM_MAJOR_VERSION.$MLMINIDOM_MINOR_VERSION.$MLMINIDOM_MICRO_VERSION VERSION=$MLMINIDOM_VERSION