diff --git a/tlatools/org.lamport.tlatools/build.gradle b/tlatools/org.lamport.tlatools/build.gradle index f39656b73ada45955ab54aa6d6dc0c1daa5560bf..1ffcc57f6ff62b56fe641b96665bfe280dff8cea 100644 --- a/tlatools/org.lamport.tlatools/build.gradle +++ b/tlatools/org.lamport.tlatools/build.gradle @@ -2,7 +2,7 @@ apply plugin: 'java' apply plugin: 'eclipse' apply plugin: 'maven' -project.version = '1.0.3-SNAPSHOT' +project.version = '1.1.0-SNAPSHOT' project.group = 'de.hhu.stups' project.archivesBaseName = 'tlatools'