diff --git a/tlatools/build.gradle b/tlatools/build.gradle index 2539ad83b576dded7b425350223abb26f1e8a4dd..adcc3ec49b11dcfb5afdab7ffb9930ed9944eb74 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.1-SNAPSHOT' +project.version = '1.0.1' project.group = 'de.hhu.stups' project.archivesBaseName = 'tlatools'