summaryrefslogtreecommitdiff
path: root/base/.settings
diff options
context:
space:
mode:
authorBen Culkin <scorpress@gmail.com>2022-07-11 17:54:24 -0400
committerBen Culkin <scorpress@gmail.com>2022-07-11 17:54:24 -0400
commit3466585b41432e20098bcabd9f4ab92de4e473d5 (patch)
tree5d08a25fbd796103d90de594061f82f7cea56e5d /base/.settings
parent82289d4aba4ccaaed99ecf46f4757f07b67baa45 (diff)
General improvements
Diffstat (limited to 'base/.settings')
-rw-r--r--base/.settings/org.eclipse.jdt.core.prefs3
1 files changed, 3 insertions, 0 deletions
diff --git a/base/.settings/org.eclipse.jdt.core.prefs b/base/.settings/org.eclipse.jdt.core.prefs
index 714351a..2f5cc74 100644
--- a/base/.settings/org.eclipse.jdt.core.prefs
+++ b/base/.settings/org.eclipse.jdt.core.prefs
@@ -1,5 +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