From 78ae44cdf3941bef38ee7092c8d179c9b31521ff Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Wed, 19 Aug 2015 08:09:47 +0200
Subject: [PATCH] 1.0.7 release build

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

diff --git a/build.gradle b/build.gradle
index 9525d89..fd3651e 100644
--- a/build.gradle
+++ b/build.gradle
@@ -4,7 +4,7 @@ apply plugin: 'maven'
 apply plugin: 'jacoco'
 apply plugin: 'findbugs'
 
-project.version = '1.0.7-SNAPSHOT'
+project.version = '1.0.7'
 project.group = 'de.hhu.stups'
 project.archivesBaseName = "tla2bAST"
 
-- 
GitLab