From 6c1b89d6eda618f9bd5ed7a2df61048c20a4b0f1 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Wed, 24 Feb 2016 14:40:06 +0100
Subject: [PATCH] Release 1.0.2

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

diff --git a/tlatools/build.gradle b/tlatools/build.gradle
index 392592892..baefb5c94 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.2-SNAPSHOT'
+project.version = '1.0.2'
 project.group = 'de.hhu.stups'
 project.archivesBaseName = 'tlatools'
 
-- 
GitLab