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

Last change on this file was 104, checked in by phdmakk, 23 months ago

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

  • Property svn:mime-type set to text/plain
File size: 838 bytes
Line 
1eclipse.preferences.version=1
2org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
3org.eclipse.jdt.core.compiler.codegen.methodParameters=do not generate
4org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
5org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
6org.eclipse.jdt.core.compiler.compliance=11
7org.eclipse.jdt.core.compiler.debug.lineNumber=generate
8org.eclipse.jdt.core.compiler.debug.localVariable=generate
9org.eclipse.jdt.core.compiler.debug.sourceFile=generate
10org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
11org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
12org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
13org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
14org.eclipse.jdt.core.compiler.release=enabled
15org.eclipse.jdt.core.compiler.source=11
Note: See TracBrowser for help on using the repository browser.