Updated version number

KeYProject · Oct 10, 2017 · 94e8a1b · 94e8a1b
1 parent 8d5d8f4
commit 94e8a1b
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/key/key.core/resources/de/uka/ilkd/key/util/version b/key/key.core/resources/de/uka/ilkd/key/util/version
@@ -1 +1 @@
-2.6.2
+2.6.3
diff --git a/key/scripts/jenkins/deployAll.sh b/key/scripts/jenkins/deployAll.sh
@@ -3,6 +3,6 @@ cd key/scripts
 export ANT_HOME=/opt/ant/
 export ANT_OPTS="-Xmx2048m -Xms512m"
 export PATH=$PATH:/home/hudson/key/bin/
-export KEY_VERSION="2.6.2"
+export KEY_VERSION="2.6.3"
 ant -logger org.apache.tools.ant.NoBannerLogger deployAll
 
diff --git a/key/scripts/jenkins/generateDoc.sh b/key/scripts/jenkins/generateDoc.sh
@@ -1,6 +1,6 @@
 #!/bin/sh -x
 # API Doc generation to come
-export KEY_VERSION="2.6.2"
+export KEY_VERSION="2.6.3"
 export ANT_HOME=/opt/ant/
 export ANT_OPTS="-Xmx2048m -Xms512m"
 export PATH=$PATH:/home/hudson/key/bin/

diff --git a/key/scripts/jenkins/runTests.sh b/key/scripts/jenkins/runTests.sh
@@ -1,5 +1,5 @@
 #!/bin/sh -x
-export KEY_VERSION="2.6.2"
+export KEY_VERSION="2.6.3"
 export ANT_HOME=/opt/ant/
 export ANT_OPTS="-Xmx2048m -Xms512m"
 export PATH=$PATH:/home/hudson/key/bin/