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

[josm_plugins] switch plugins to Java 7

File:
1 edited

Legend:

Unmodified
Added
Removed

  • applications/editors/josm/plugins/piclayer/.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.compliance=1.7
    55org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
    66org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
    7 org.eclipse.jdt.core.compiler.source=1.6
     7org.eclipse.jdt.core.compiler.source=1.7
Note: See TracChangeset for help on using the changeset viewer.