14 lines
617 B
INI
14 lines
617 B
INI
#
|
|
#Sat Jun 01 10:37:20 CEST 2024
|
|
eclipse.preferences.version=1
|
|
org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
|
|
org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
|
|
org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
|
|
org.eclipse.jdt.core.compiler.compliance=21
|
|
org.eclipse.jdt.core.compiler.debug.lineNumber=generate
|
|
org.eclipse.jdt.core.compiler.debug.localVariable=generate
|
|
org.eclipse.jdt.core.compiler.debug.sourceFile=generate
|
|
org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
|
|
org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
|
|
org.eclipse.jdt.core.compiler.source=21
|