]> matita.cs.unibo.it Git - helm.git/commitdiff
Version dumped.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 11 Jul 2003 10:05:10 +0000 (10:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 11 Jul 2003 10:05:10 +0000 (10:05 +0000)
helm/uwobo/Makefile
helm/uwobo/uwobo_common.ml

index 5aa0ed96200c52032bdecadc753a6121d607d862..b3a989e7e1c30ca03231e3c85f941bc59821f498 100644 (file)
@@ -1,4 +1,4 @@
-VERSION = 0.2.0
+VERSION = 0.2.1
 DISTDIR = uwobo-$(VERSION)
 DISTTARBALL = $(DISTDIR).tar.gz
 REQUIRES = http gdome2 gdome2-xslt pcre unix netclient
index f7790923cdc94f962df53fe39bb93020f330cf4d..84ba1996750f7ca3cd917f61e59e1b20d430f06e 100644 (file)
@@ -48,7 +48,7 @@ let supported_properties = [
 
 let is_supported_property name = List.mem name supported_properties
 
-let version = "0.2.0" ;;
+let version = "0.2.1" ;;
 
 let usage_string =
   sprintf