diff --git a/tlatools/org.lamport.tlatools/build.gradle b/tlatools/org.lamport.tlatools/build.gradle index 230796d94a8bfdbfa288036f2f47c6dbc4f747f6..61c1d8c300f6e4d8d6c8488c318524cb7f5a0cc1 100644 --- a/tlatools/org.lamport.tlatools/build.gradle +++ b/tlatools/org.lamport.tlatools/build.gradle @@ -1,6 +1,8 @@ -apply plugin: 'java' -apply plugin: "maven-publish" -apply plugin: "signing" +plugins { + id "java" + id "maven-publish" + id "signing" +} project.version = '1.1.0-SNAPSHOT' project.group = 'de.hhu.stups'