Modified to reflect version 1.0.13-1

diff --git a/org.glite.px/project/version.properties b/org.glite.px/project/version.properties
index 2b9c4a2..2869158 100644 (file)
--- a/org.glite.px/project/version.properties
+++ b/org.glite.px/project/version.properties
@@ -1,2 +1,2 @@
-module.version=1.0.12
+module.version=1.0.13
 module.age=1