Changeset 31543 in osm for applications/editors/josm/plugins/build.xml

Timestamp:

2015-09-10T11:14:11+02:00 (9 years ago)

Author:

simon04

Message:

JOSM/mirrored_download: Remove mirrored_download plugin (has been integrated to JOSM core in 2015-08, see #josm11428)

File:

• applications/editors/josm/plugins/build.xml (modified) (2 diffs)

applications/editors/josm/plugins/build.xml

@@ -64 +64 @@
         <ant target="dist" dir="merge-overlap"/>
         <ant target="dist" dir="michigan_left"/>
-        <ant target="dist" dir="mirrored_download"/>
         <ant target="dist" dir="namemanager"/>
         <ant target="dist" dir="NanoLog"/>
@@ -167 +166 @@
         <ant target="clean" dir="merge-overlap"/>
         <ant target="clean" dir="michigan_left"/>
-        <ant target="clean" dir="mirrored_download"/>
         <ant target="clean" dir="namemanager"/>
         <ant target="clean" dir="no_more_mapping"/>