Tools
/
RDL-Editor
mirror of https://github.com/Minres/RDL-Editor.git
8
0
Fork 0
Code Issues 1 Packages Releases Wiki Activity
RDL-Editor/com.minres.rdl.parent/com.minres.rdl.ide/.settings/org.eclipse.jdt.core.prefs

11 lines
537 B
Plaintext
Raw Normal View History

Iniital checkin
2017-09-12 12:48:21 +02:00
eclipse.preferences.version=1
org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
cleanup build path
2022-02-13 18:17:05 +01:00
org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
org.eclipse.jdt.core.compiler.compliance=11
Iniital checkin
2017-09-12 12:48:21 +02:00
org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
cleanup build path
2022-02-13 18:17:05 +01:00
org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
Iniital checkin
2017-09-12 12:48:21 +02:00
org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
cleanup build path
2022-02-13 18:17:05 +01:00
org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
org.eclipse.jdt.core.compiler.release=enabled
org.eclipse.jdt.core.compiler.source=11