Changeset 11238 in josm for trunk/build.xml


Ignore:
Timestamp:
2016-11-12T13:46:16+01:00 (2 years ago)
Author:
stoecker
Message:

see #12706 - move skiplist to wiki, add a second color code for ignores

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/build.xml

    r11200 r11238  
    700700        </exec>
    701701        <exec append="false" executable="wget" failifexecutionfails="true">
     702            <arg value="https://josm.openstreetmap.de/wiki/ImageryCompareIgnores?format=txt"/>
     703            <arg value="-O"/>
     704            <arg value="maps_ignores.txt"/>
     705            <arg value="--unlink"/>
     706        </exec>
     707        <exec append="false" executable="wget" failifexecutionfails="true">
    702708            <arg value="https://raw.githubusercontent.com/osmlab/editor-imagery-index/gh-pages/imagery.json"/>
    703709            <arg value="-O"/>
Note: See TracChangeset for help on using the changeset viewer.