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/namemanager/.classpath

    r29930 r30416  
    33        <classpathentry kind="src" path="src"/>
    44        <classpathentry kind="src" path="resources"/>
    5         <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6"/>
     5        <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.7"/>
    66        <classpathentry combineaccessrules="false" kind="src" path="/JOSM"/>
    77        <classpathentry kind="output" path="bin"/>
Note: See TracChangeset for help on using the changeset viewer.