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

[josm_plugins] switch plugins to Java 7

Location:
applications/editors/josm/plugins/reltoolbox/.settings
Files:
2 edited

Legend:

Unmodified
Added
Removed

  • applications/editors/josm/plugins/reltoolbox/.settings/org.eclipse.core.resources.prefs

    r29853 r30416  
    33encoding//src/relcontext/actions/TheRing.java=UTF-8
    44encoding/TODO=UTF-8
     5encoding/src=UTF-8

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

    r30151 r30416  
    66org.eclipse.jdt.core.compiler.annotation.nullanalysis=disabled
    77org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
    8 org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6
    9 org.eclipse.jdt.core.compiler.compliance=1.6
     8org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7
     9org.eclipse.jdt.core.compiler.compliance=1.7
    1010org.eclipse.jdt.core.compiler.problem.annotationSuperInterface=warning
    1111org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
    … …  
    8989org.eclipse.jdt.core.compiler.problem.unusedWarningToken=warning
    9090org.eclipse.jdt.core.compiler.problem.varargsArgumentNeedCast=warning
    91 org.eclipse.jdt.core.compiler.source=1.6
     91org.eclipse.jdt.core.compiler.source=1.7
Note: See TracChangeset for help on using the changeset viewer.