From 21f635b2d7627c1a54dd8b080b85ddd48508994b Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Wed, 19 Aug 2015 10:04:30 +0200
Subject: [PATCH] Update build.gradle
---
tlatools/build.gradle | 3 +++
1 file changed, 3 insertions(+)
diff --git a/tlatools/build.gradle b/tlatools/build.gradle
index 470dca592..2539ad83b 100644
--- a/tlatools/build.gradle
+++ b/tlatools/build.gradle
@@ -6,6 +6,9 @@ project.version = '1.0.1-SNAPSHOT'
project.group = 'de.hhu.stups'
project.archivesBaseName = 'tlatools'
+project.sourceCompatibility = '1.7'
+project.targetCompatibility = '1.7'
+
repositories {
mavenCentral()
}
--
GitLab