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/proj4j/build.xml

    r29854 r30416  
    88    <property name="commit.message" value="Commit message"/>
    99    <!-- enter the *lowest* JOSM version this plugin is currently compatible with -->
    10     <property name="plugin.main.version" value="6162"/>
     10    <property name="plugin.main.version" value="7001"/>
    1111    <!--
    1212      ************************************************
    … …  
    1818    <!-- this is the directory where the plugin jar is copied to -->
    1919    <property name="plugin.dist.dir" value="../../dist"/>
    20     <property name="ant.build.javac.target" value="1.6"/>
     20    <property name="ant.build.javac.target" value="1.7"/>
    2121    <property name="plugin.dist.dir" value="../../dist"/>
    2222    <property name="plugin.jar" value="${plugin.dist.dir}/${ant.project.name}.jar"/>
Note: See TracChangeset for help on using the changeset viewer.