Changeset 30565 in osm for applications/editors/josm


Ignore:
Timestamp:
2014-08-05T20:38:43+02:00 (11 years ago)
Author:
donvip
Message:

[josm_plugins] try to add github-hosted plugin "areaselector"

Location:
applications/editors/josm
Files:
1 deleted
3 edited

Legend:

Unmodified
Added
Removed

  • applications/editors/josm/dist

    • Property svn:ignore

      •  

        old new  
         1areaselector.jar
        12conflation.jar

  • applications/editors/josm/plugins

    • Property svn:externals

      •  

        old new  
        11http://josm.openstreetmap.de/svn/trunk/tools 00_core_tools
        22http://josm.openstreetmap.de/svn/trunk/test/lib 00_core_test_lib
         3https://github.com/JOSM/JOSM-areaselector/trunk areaselector

  • applications/editors/josm/plugins/build.xml

    r30556 r30565  
    1919        <ant target="dist" dir="addrinterpolation"/>
    2020        <ant target="dist" dir="alignways"/>
     21        <ant target="dist" dir="areaselector"/>
    2122        <ant target="dist" dir="buildings_tools"/>
    2223        <ant target="dist" dir="cadastre-fr"/>
    … …  
    116117        <ant target="clean" dir="addrinterpolation"/>
    117118        <ant target="clean" dir="alignways"/>
     119        <ant target="clean" dir="areaselector"/>
    118120        <ant target="clean" dir="buildings_tools"/>
    119121        <ant target="clean" dir="cadastre-fr"/>
Note: See TracChangeset for help on using the changeset viewer.