diff options
-rw-r--r-- | id.server/build.GK.xml | 2 | ||||
-rw-r--r-- | id.server/build.xml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/id.server/build.GK.xml b/id.server/build.GK.xml index ac858f0bf..6fe4f8a34 100644 --- a/id.server/build.GK.xml +++ b/id.server/build.GK.xml @@ -8,7 +8,7 @@ --> <project name="moa.id.server" default="dist-all" basedir="."> <property environment="env"/> - <property name="version" value="1.3.1"/> + <property name="version" value="1.3.2"/> <property name="projectroot" value="."/> <property name="src" value="src"/> <property name="res" value="res"/> diff --git a/id.server/build.xml b/id.server/build.xml index 34149775d..e6f11a59d 100644 --- a/id.server/build.xml +++ b/id.server/build.xml @@ -8,7 +8,7 @@ --> <project name="moa.id.server" default="dist-all" basedir="."> <property environment="env"/> - <property name="version" value="1.3.1"/> + <property name="version" value="1.3.2"/> <property name="projectroot" value="."/> <property name="src" value="src"/> <property name="res" value="res"/> |