fix xtend prefs

Signed-off-by: Christian Dietrich <[email protected]>
xtext · May 16, 2022 · 343c89f · 343c89f
1 parent 9632b9c
commit 343c89f
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/buildSrc/.settings/org.eclipse.xtend.core.Xtend.prefs b/buildSrc/.settings/org.eclipse.xtend.core.Xtend.prefs
@@ -22,5 +22,3 @@ outlet.DEFAULT_OUTPUT.installDslAsPrimarySource=false
 outlet.DEFAULT_OUTPUT.keepLocalHistory=false
 outlet.DEFAULT_OUTPUT.override=true
 outlet.DEFAULT_OUTPUT.userOutputPerSourceFolder=true
-targetJavaVersion=JAVA5
-useJavaCompilerCompliance=true