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