diff --git a/tlatools/org.lamport.tlatools/build.gradle b/tlatools/org.lamport.tlatools/build.gradle index d3214df5c3bdc42fcc3fd64a63207053827d1321..61ae354edab02725ddc578c4d62d86820d73a070 100644 --- a/tlatools/org.lamport.tlatools/build.gradle +++ b/tlatools/org.lamport.tlatools/build.gradle @@ -5,7 +5,7 @@ plugins { } project.group = 'de.hhu.stups' -project.version = "1.1.0" +project.version = "1.1.1-SNAPSHOT" final isSnapshot = project.version.endsWith("-SNAPSHOT")