This commit was manufactured by cvs2svn to create branch 'init'.

[helm.git] / helm / uwobo / src / it / unibo / cs / helm / uwobo / properties.txt

diff --git a/helm/uwobo/src/it/unibo/cs/helm/uwobo/properties.txt b/helm/uwobo/src/it/unibo/cs/helm/uwobo/properties.txt
deleted file mode 100644 (file)
index debd517..0000000
--- a/helm/uwobo/src/it/unibo/cs/helm/uwobo/properties.txt
+++ /dev/null
@@ -1,5 +0,0 @@
-PACKAGE=@PACKAGE@
-VERSION=@VERSION@
-DATE=@DATE@
-TIME=@TIME@
-SERIALIZATION_DIR=@SERIALIZATION_DIR@