...

[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
index eb286113204c836a433f2e2e02f760131998bb67..debd517734cbd606b2c9cc6be05a983fc3fe2654 100644 (file)
--- a/helm/uwobo/src/it/unibo/cs/helm/uwobo/properties.txt
+++ b/helm/uwobo/src/it/unibo/cs/helm/uwobo/properties.txt
@@ -2,3 +2,4 @@ PACKAGE=@PACKAGE@
 VERSION=@VERSION@
 DATE=@DATE@
 TIME=@TIME@
+SERIALIZATION_DIR=@SERIALIZATION_DIR@