From 950cac24b5afe05baa5d402dbfb60849d00bcc91 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 28 Oct 2024 21:56:32 +0100
Subject: [PATCH] Release version 1.1.0
---
tlatools/org.lamport.tlatools/build.gradle | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tlatools/org.lamport.tlatools/build.gradle b/tlatools/org.lamport.tlatools/build.gradle
index 61c1d8c30..d3214df5c 100644
--- a/tlatools/org.lamport.tlatools/build.gradle
+++ b/tlatools/org.lamport.tlatools/build.gradle
@@ -4,8 +4,8 @@ plugins {
id "signing"
}
-project.version = '1.1.0-SNAPSHOT'
project.group = 'de.hhu.stups'
+project.version = "1.1.0"
final isSnapshot = project.version.endsWith("-SNAPSHOT")
--
GitLab