From 884b68c87f1dc7c50465a32d4240139b57414515 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Wed, 19 Aug 2015 10:07:06 +0200
Subject: [PATCH] v1.0.1

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

diff --git a/tlatools/build.gradle b/tlatools/build.gradle
index 2539ad83b..adcc3ec49 100644
--- a/tlatools/build.gradle
+++ b/tlatools/build.gradle
@@ -2,7 +2,7 @@ apply plugin: 'java'
 apply plugin: 'eclipse'
 apply plugin: 'maven'
 
-project.version = '1.0.1-SNAPSHOT'
+project.version = '1.0.1'
 project.group = 'de.hhu.stups'
 project.archivesBaseName = 'tlatools'
 
-- 
GitLab