From 970c4a967ccaafd842907f214d7e370dc1b964f7 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 28 Oct 2024 21:59:18 +0100
Subject: [PATCH] Bump version number to 1.1.1-SNAPSHOT
---
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 d3214df5c..61ae354ed 100644
--- a/tlatools/org.lamport.tlatools/build.gradle
+++ b/tlatools/org.lamport.tlatools/build.gradle
@@ -5,7 +5,7 @@ plugins {
}
project.group = 'de.hhu.stups'
-project.version = "1.1.0"
+project.version = "1.1.1-SNAPSHOT"
final isSnapshot = project.version.endsWith("-SNAPSHOT")
--
GitLab