From: Claudio Sacerdoti Coen Date: Tue, 6 Nov 2001 18:55:50 +0000 (+0000) Subject: Version 1.2 ==> 1.2.0 X-Git-Tag: v0_1_3~17 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6c82afb975c7d4535e9a46949c9219a01852c827;p=helm.git Version 1.2 ==> 1.2.0 --- diff --git a/helm/uwobo/build.xml b/helm/uwobo/build.xml index abdcdc858..e0d2f914e 100644 --- a/helm/uwobo/build.xml +++ b/helm/uwobo/build.xml @@ -4,7 +4,7 @@ - +