https://hal.archives-ouvertes.fr/hal-02177397
Tip revision: e4268f65191281edb5713efc252800c1fe6b06fc authored by Software Heritage on 01 January 2008, 00:00:00 UTC
hal: Deposit 317 in collection hal
hal: Deposit 317 in collection hal
Tip revision: e4268f6
org.eclipse.jdt.core.prefs
#Tue Apr 19 21:07:51 EEST 2011
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.codegen.unusedLocal=preserve
org.eclipse.jdt.core.compiler.compliance=1.6
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=1.6
