view .settings/org.eclipse.jdt.core.prefs @ 0:6c0a97ea21c7

first release
author dwinter
date Thu, 16 Jun 2011 16:53:24 +0200
parents
children
line wrap: on
line source

#Wed Dec 29 17:55:05 CET 2010
eclipse.preferences.version=1
org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5
org.eclipse.jdt.core.compiler.compliance=1.5
org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
org.eclipse.jdt.core.compiler.source=1.5