diff --git a/tlatools/build.gradle b/tlatools/build.gradle index 6ea4e2f77d5c420fe8e35a1ee75bb81a22643f51..1f51ed76533ac783fab635891601d4697439c515 100644 --- a/tlatools/build.gradle +++ b/tlatools/build.gradle @@ -2,7 +2,7 @@ apply plugin: 'java' apply plugin: 'eclipse' apply plugin: 'maven' -project.version = '1.0.0-SNAPSHOT' +project.version = '1.0.0' project.group = 'de.hhu.stups' project.archivesBaseName = 'tlatools'