summaryrefslogtreecommitdiff
path: root/.settings/org.eclipse.jdt.core.prefs
diff options
context:
space:
mode:
authorBen Culkin <scorpress@gmail.com>2022-09-27 19:16:55 -0400
committerBen Culkin <scorpress@gmail.com>2022-09-27 19:16:55 -0400
commit9c15e27c338e24595baf6a4d3d90d7bbf314436b (patch)
tree9b73f00e74b0b2be8680cda23fb15413b059d033 /.settings/org.eclipse.jdt.core.prefs
parent98d2c394d9060fc92e7656d18abd8f23070a4e2f (diff)
Minor changes
Diffstat (limited to '.settings/org.eclipse.jdt.core.prefs')
-rw-r--r--.settings/org.eclipse.jdt.core.prefs7
1 files changed, 4 insertions, 3 deletions
diff --git a/.settings/org.eclipse.jdt.core.prefs b/.settings/org.eclipse.jdt.core.prefs
index 7ad3ace..cf2cd45 100644
--- a/.settings/org.eclipse.jdt.core.prefs
+++ b/.settings/org.eclipse.jdt.core.prefs
@@ -1,7 +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.codegen.targetPlatform=17
+org.eclipse.jdt.core.compiler.compliance=17
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
+org.eclipse.jdt.core.compiler.source=17