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

    r30373 r30416  
    11<?xml version="1.0" encoding="utf-8"?>
    2 <!--
    3 ** This is a template build file for a JOSM  plugin.
    4 **
    5 ** Maintaining versions
    6 ** ====================
    7 ** See README.template
    8 **
    9 ** Usage
    10 ** =====
    11 ** Call "ant help" to get possible build targets.
    12 **
    13 -->
    142<project name="pointInfo" default="dist" basedir=".">
    153
     
    175    <property name="commit.message" value="PointInfo: Add more external links, nicer icons."/>
    186    <!-- enter the *lowest* JOSM version this plugin is currently compatible with -->
    19     <property name="plugin.main.version" value="6238"/>
     7    <property name="plugin.main.version" value="7001"/>
    208
    219    <!-- Configure these properties (replace "..." accordingly).
    22 
    23 
    24 
    2510         See http://josm.openstreetmap.de/wiki/DevelopersGuide/DevelopingPlugins
    2611    -->
Note: See TracChangeset for help on using the changeset viewer.