From 7c2189849fcfd7c1b13aa94117f4d0f2919edc14 Mon Sep 17 00:00:00 2001 From: Ben Liblit Date: Wed, 18 Apr 2018 15:54:12 -0500 Subject: [PATCH] Add a stub JDT preferences file, originally created by Buildship --- .../.settings/org.eclipse.jdt.core.prefs | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 com.ibm.wala.cast.js.test.data/.settings/org.eclipse.jdt.core.prefs diff --git a/com.ibm.wala.cast.js.test.data/.settings/org.eclipse.jdt.core.prefs b/com.ibm.wala.cast.js.test.data/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 000000000..35068d95f --- /dev/null +++ b/com.ibm.wala.cast.js.test.data/.settings/org.eclipse.jdt.core.prefs @@ -0,0 +1,4 @@ +eclipse.preferences.version=1 +org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8 +org.eclipse.jdt.core.compiler.compliance=1.8 +org.eclipse.jdt.core.compiler.source=1.8