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

    r30309 r30416  
    1919    <!-- this is the directory where the plugin jar is copied to -->
    2020    <property name="plugin.dist.dir"        value="../../dist"/>
    21     <property name="ant.build.javac.target" value="1.6"/>
    22     <property name="ant.build.javac.source" value="1.6"/>
     21    <property name="ant.build.javac.target" value="1.7"/>
     22    <property name="ant.build.javac.source" value="1.7"/>
    2323    <property name="plugin.jar"             value="${plugin.dist.dir}/${ant.project.name}.jar"/>
    2424
Note: See TracChangeset for help on using the changeset viewer.