push revision

diff --git a/org.glite.security.proxyrenewal/project/version.properties b/org.glite.security.proxyrenewal/project/version.properties
index 3a10dac..9a5575e 100644 (file)
--- a/org.glite.security.proxyrenewal/project/version.properties
+++ b/org.glite.security.proxyrenewal/project/version.properties
@@ -1,2 +1,3 @@
-module.version=1.3.4
+# $Header$
+module.version=1.3.5
 module.age=1