X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fuwobo%2Fbuild.xml;h=9efec3c7a23d7d9e91e38259520a273f2a855de8;hb=5868bef6637af919fbb48a83c24268bb85bdef6a;hp=c021b0b46556e48c41e29ea547fdef8f476f058d;hpb=02bc1a8c06b2d2c5169c9f1beecf9daa94a85247;p=helm.git
diff --git a/helm/uwobo/build.xml b/helm/uwobo/build.xml
index c021b0b46..9efec3c7a 100644
--- a/helm/uwobo/build.xml
+++ b/helm/uwobo/build.xml
@@ -4,7 +4,8 @@
-
+
+
@@ -63,6 +64,7 @@
+
@@ -136,6 +138,8 @@
+
+
@@ -151,6 +155,7 @@
+
@@ -159,6 +164,7 @@
+