From 5cfa829f55ceb4da6dd3a5639bf72cd830a17edb Mon Sep 17 00:00:00 2001 From: Ben Culkin Date: Sun, 5 Apr 2020 17:08:09 -0400 Subject: Fix up eclipse settings Do some minor changes to the eclipse project config --- .settings/org.eclipse.jdt.core.prefs | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 .settings/org.eclipse.jdt.core.prefs (limited to '.settings/org.eclipse.jdt.core.prefs') diff --git a/.settings/org.eclipse.jdt.core.prefs b/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 0000000..2f5cc74 --- /dev/null +++ b/.settings/org.eclipse.jdt.core.prefs @@ -0,0 +1,8 @@ +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.problem.enablePreviewFeatures=disabled +org.eclipse.jdt.core.compiler.problem.forbiddenReference=warning +org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=ignore +org.eclipse.jdt.core.compiler.release=disabled +org.eclipse.jdt.core.compiler.source=1.8 -- cgit v1.2.3