source: default/v2/trunk/de.ugoe.cs.swe.bnftools.ebnf/.settings/org.eclipse.jdt.core.prefs

Last change on this file was 104, checked in by phdmakk, 2 years ago

+ updated manifests and class paths, Java 11, etc.

  • Property svn:mime-type set to text/plain
File size: 547 bytes
RevLine 
[72]1eclipse.preferences.version=1
2org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
[104]3org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
4org.eclipse.jdt.core.compiler.compliance=11
[72]5org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
[104]6org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
[72]7org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
[104]8org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
9org.eclipse.jdt.core.compiler.release=enabled
10org.eclipse.jdt.core.compiler.source=11
Note: See TracBrowser for help on using the repository browser.