From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
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;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