Merge pull request #3208 from Kathrin-Huber/change_version

change to version 2.3.1
kitodo · Feb 17, 2020 · d71dfca · d71dfca
2 parents 2cd0d1b + c45b618
commit d71dfca
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/build.xml b/build.xml
@@ -34,7 +34,7 @@
 
     <property name="build.dist.dir" value="${basedir}/dist"/>
     <property name="build.dist.name" value="kitodo-production"/>
-    <property name="build.dist.version" value="2.3.0" />
+    <property name="build.dist.version" value="2.3.1" />
     <property name="build.dist.vendor" value="kitodo.org"/>
     <property name="build.dist.url" value="https://github.com/kitodo/kitodo-production"/>
     <property name="build.dist.war" value="${build.dist.dir}/${build.dist.name}-${build.dist.version}.war"/>

diff --git a/deploy.xml b/deploy.xml
@@ -24,7 +24,7 @@
 
     <!-- Default build properties (applied if not overridden by build.properties file) -->
     <property name="build.dist.name" value="kitodo-production" />
-    <property name="build.dist.version" value="2.3.0" />
+    <property name="build.dist.version" value="2.3.1" />
     <property name="build.dir" value="./build" />
     <property name="build.dist.dir" value="${basedir}/dist" />
     <property name="build.dist.war" value="${build.dist.dir}/${build.dist.name}-${build.dist.version}.war" />