view .settings/org.eclipse.jdt.core.prefs @ 6:dbfd0df15a1d default tip

config file changed
author dwinter
date Mon, 17 Sep 2012 16:56:36 +0200
parents 813aa2c5bc4b
children
line wrap: on
line source

#Mon Aug 16 10:21:43 CEST 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