From: gmungoc Date: Fri, 24 May 2019 14:29:21 +0000 (+0100) Subject: JAL-3010 commit to enable merge X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=a66e7b52d40674796339b3f45a5823f6cdb527fe;p=jalview.git JAL-3010 commit to enable merge --- 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