From 8d12e265e7607f1ef94b1ca9433f98d7c8275b28 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Fri, 8 Nov 2024 18:25:45 +0100
Subject: [PATCH] Update to release version 2.13.5 of parsers
---
build.gradle | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/build.gradle b/build.gradle
index 1570405..70a83ba 100644
--- a/build.gradle
+++ b/build.gradle
@@ -26,7 +26,7 @@ configurations.all {
resolutionStrategy.cacheChangingModulesFor 0, 'seconds'
}
-def parser_version = '2.13.5-SNAPSHOT'
+def parser_version = '2.13.5'
dependencies {
//implementation(group: 'com.microsoft', name: 'tla2tools', version: '1.4.6')
--
GitLab