From f27f7be4c32780de615e2678f11a5e80702c5e25 Mon Sep 17 00:00:00 2001 From: gmungoc Date: Thu, 23 May 2019 11:07:19 +0100 Subject: [PATCH] Added to index to allow merge --- .settings/org.eclipse.jdt.groovy.core.prefs | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 .settings/org.eclipse.jdt.groovy.core.prefs diff --git a/.settings/org.eclipse.jdt.groovy.core.prefs b/.settings/org.eclipse.jdt.groovy.core.prefs new file mode 100644 index 0000000..ae98fea --- /dev/null +++ b/.settings/org.eclipse.jdt.groovy.core.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +groovy.compiler.level=24 -- 1.7.10.2