From fac588cd1ee6efd74e1e39b0ed39fd029356ad8a Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Tue, 18 Aug 2015 12:11:02 +0200
Subject: [PATCH] release

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

diff --git a/tlatools/build.gradle b/tlatools/build.gradle
index 6ea4e2f77..1f51ed765 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.0-SNAPSHOT'
+project.version = '1.0.0'
 project.group = 'de.hhu.stups'
 project.archivesBaseName = 'tlatools'
 
-- 
GitLab