14 lines
616 B
INI
14 lines
616 B
INI
#
|
|
#Thu May 30 08:16:59 EDT 2024
|
|
org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
|
|
org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
|
|
org.eclipse.jdt.core.compiler.codegen.targetPlatform=17
|
|
org.eclipse.jdt.core.compiler.source=17
|
|
org.eclipse.jdt.core.compiler.debug.localVariable=generate
|
|
org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
|
|
eclipse.preferences.version=1
|
|
org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
|
|
org.eclipse.jdt.core.compiler.debug.lineNumber=generate
|
|
org.eclipse.jdt.core.compiler.compliance=17
|
|
org.eclipse.jdt.core.compiler.debug.sourceFile=generate
|