Ignore:
Timestamp:
2014-04-26T04:34:53+02:00 (11 years ago)
Author:
donvip
Message:

[josm_plugins] switch plugins to Java 7

File:
1 edited

Legend:

Unmodified
Added
Removed

  • applications/editors/josm/plugins/pbf/.settings/org.eclipse.jdt.core.prefs

    r30151 r30416  
    11eclipse.preferences.version=1
    22org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
    3 org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6
    4 org.eclipse.jdt.core.compiler.compliance=1.6
     3org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7
     4org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
     5org.eclipse.jdt.core.compiler.compliance=1.7
     6org.eclipse.jdt.core.compiler.debug.lineNumber=generate
     7org.eclipse.jdt.core.compiler.debug.localVariable=generate
     8org.eclipse.jdt.core.compiler.debug.sourceFile=generate
    59org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
    610org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
    7 org.eclipse.jdt.core.compiler.source=1.6
     11org.eclipse.jdt.core.compiler.source=1.7
Note: See TracChangeset for help on using the changeset viewer.