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

[josm_plugins] switch plugins to Java 7

File:
1 edited

Legend:

Unmodified
Added
Removed
  • applications/editors/josm/plugins/graphview/build.xml

    r29854 r30416  
    22<project name="graphview" default="dist" basedir=".">
    33    <property name="commit.message" value="option to change graph colors; closes ticket 5523 in JOSM Trac"/>
    4     <property name="plugin.main.version" value="6162"/>
     4    <property name="plugin.main.version" value="7001"/>
    55    <property name="josm" location="../../core/dist/josm-custom.jar"/>
    66    <property name="plugin.build.dir" value="build"/>
     
    88    <!-- this is the directory where the plugin jar is copied to -->
    99    <property name="plugin.dist.dir" value="../../dist"/>
    10     <property name="ant.build.javac.target" value="1.6"/>
     10    <property name="ant.build.javac.target" value="1.7"/>
    1111    <property name="plugin.dist.dir" value="../../dist"/>
    1212    <property name="plugin.jar" value="${plugin.dist.dir}/${ant.project.name}.jar"/>
Note: See TracChangeset for help on using the changeset viewer.