wesnoth/utils/eclipse_plugin/.settings/org.eclipse.jdt.core.prefs
Iurii Chernyi 020dce3efb move eclipse plugin to a better place
[[Split portion of a mixed commit.]]
2010-04-06 18:00:56 +00:00

9 lines
387 B
INI

#Sun Mar 21 05:00:10 CET 2010
eclipse.preferences.version=1
org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6
org.eclipse.jdt.core.compiler.compliance=1.6
org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
org.eclipse.jdt.core.compiler.source=1.6