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

    r30122 r30416  
    44    <property name="commit.message" value="fixed main version"/>
    55    <!-- enter the *lowest* JOSM version this plugin is currently compatible with -->
    6     <property name="plugin.main.version" value="6162"/>
     6    <property name="plugin.main.version" value="7001"/>
    77       
    88    <property name="plugin.author" value="Falko Thomale"/>
    … …  
    2323            <arg value="${javacc.home}/javacc.jar"/>
    2424            <arg value="javacc"/>
    25             <arg value="-JDK_VERSION=1.6"/>
     25            <arg value="-JDK_VERSION=1.7"/>
    2626            <arg value="-GRAMMAR_ENCODING=UTF-8"/>
    2727            <arg value="-UNICODE_INPUT"/>
Note: See TracChangeset for help on using the changeset viewer.