From 4e0d59badf942ba12403b6e04450122797003e75 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 28 Oct 2024 17:47:49 +0100
Subject: [PATCH] Use new Gradle plugins syntax
---
tlatools/org.lamport.tlatools/build.gradle | 8 +++++---
1 file changed, 5 insertions(+), 3 deletions(-)
diff --git a/tlatools/org.lamport.tlatools/build.gradle b/tlatools/org.lamport.tlatools/build.gradle
index 230796d94..61c1d8c30 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'
--
GitLab