Merge branch 'release/3.2.13' into develop

15ce20b9 · hansen · e1c0a972 · dec8b4e6 · 15ce20b9
Commit 15ce20b9 authored Mar 10, 2017 by hansen
--- a/build.gradle
+++ b/build.gradle
@@ -3,7 +3,7 @@ apply plugin: 'eclipse'
 apply plugin: 'maven'


-project.version = '3.2.13-SNAPSHOT'
+project.version = '3.2.13'
 project.group = 'de.hhu.stups'
 project.archivesBaseName = "sablecc"