From e6267883ffc25d76313c9e45967efe2c9e6d1d08 Mon Sep 17 00:00:00 2001 From: gmungoc Date: Mon, 15 Jul 2019 13:18:29 +0100 Subject: [PATCH] Update to match develop 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..74af1ba --- /dev/null +++ b/.settings/org.eclipse.jdt.groovy.core.prefs @@ -0,0 +1,2 @@ +eclipse.preferences.version=1 +groovy.compiler.level=25 -- 1.7.10.2