.settings/org.eclipse.jdt.core.prefs
author Inigo Sanchez <inigo.sanchez@openbravo.com>
Tue, 18 Nov 2014 11:03:11 +0100
changeset 25388 899242f8a5c7
parent 13323 f5c1f04bb7ac
child 29413 f8e2a4f298ee
permissions -rw-r--r--
[setupConf] Merge with pi
salvador@13323
     1
#Wed Jun 22 21:40:12 CEST 2011
carlos@0
     2
eclipse.preferences.version=1
ivan@1738
     3
org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
martin@2570
     4
org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6
ivan@1738
     5
org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
martin@2570
     6
org.eclipse.jdt.core.compiler.compliance=1.6
ivan@1738
     7
org.eclipse.jdt.core.compiler.debug.lineNumber=generate
ivan@1738
     8
org.eclipse.jdt.core.compiler.debug.localVariable=generate
ivan@1738
     9
org.eclipse.jdt.core.compiler.debug.sourceFile=generate
carlos@0
    10
org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
carlos@0
    11
org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
martin@2570
    12
org.eclipse.jdt.core.compiler.source=1.6