X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2Fsrc%2Fit%2Funibo%2Fcs%2Fhelm%2Fuwobo%2Fproperties.txt;fp=helm%2Fuwobo%2Fsrc%2Fit%2Funibo%2Fcs%2Fhelm%2Fuwobo%2Fproperties.txt;h=eb286113204c836a433f2e2e02f760131998bb67;hb=30060cffed61b88fe53e4d6386b606050d6dfda0;hp=0000000000000000000000000000000000000000;hpb=e6927665462cbbace76cff1b17d4f8badcb44eda;p=helm.git

diff --git a/helm/uwobo/src/it/unibo/cs/helm/uwobo/properties.txt b/helm/uwobo/src/it/unibo/cs/helm/uwobo/properties.txt
new file mode 100644
index 000000000..eb2861132
--- /dev/null
+++ b/helm/uwobo/src/it/unibo/cs/helm/uwobo/properties.txt
@@ -0,0 +1,4 @@
+PACKAGE=@PACKAGE@
+VERSION=@VERSION@
+DATE=@DATE@
+TIME=@TIME@