From 51d8d46c3578ec8ee269a295f7932b2ae53baef3 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Fri, 28 Feb 2020 16:43:18 +0100
Subject: [PATCH] set version to 1.1.3

---
 build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index 822461b..b72ab00 100644
--- a/build.gradle
+++ b/build.gradle
@@ -3,7 +3,7 @@ apply plugin: 'eclipse'
 apply plugin: 'maven'
 apply plugin: 'jacoco'
 
-project.version = '1.1.3-SNAPSHOT'
+project.version = '1.1.3'
 project.group = 'de.hhu.stups'
 project.archivesBaseName = "tla2bAST"
 
-- 
GitLab