Changeset 33756 in osm for applications/editors
- Timestamp:
- 2017-10-31T11:39:34+01:00 (7 years ago)
- Location:
- applications/editors/josm/i18n
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
applications/editors/josm/i18n/build.xml
r33487 r33756 5 5 <property name="josm.presets" value="${josm.build.dir}/data/defaultpresets.xml"/> 6 6 <property name="plugin.dir" value="../plugins"/> 7 <property name="maps.srcfile" value="http://josm.openstreetmap.de/maps"/> 8 <property name="wiki.srcfile" value="http://josm.openstreetmap.de/josmfile?mode=en"/> 7 <property name="maps.srcfile" value="https://josm.openstreetmap.de/maps"/> 8 <property name="wiki.srcfile" value="https://josm.openstreetmap.de/josmfile?mode=en"/> 9 9 <property name="surveyor.srcfile" value="${plugin.dir}/surveyor/resources/surveyor.xml"/> 10 10 <property name="tag2link.srcfile" value="${plugin.dir}/tag2link/resources/tag2link_sources.xml"/> -
applications/editors/josm/i18n/convmaps.pl
r32825 r33756 19 19 20 20 my @lines; 21 if($ARGV[0] && $ARGV[0] =~ /^http:\/\//) 21 if($ARGV[0] && $ARGV[0] =~ /^https?:\/\//) 22 22 { 23 23 my $content = get($ARGV[0]); -
applications/editors/josm/i18n/convwiki.pl
r33234 r33756 11 11 my $dir = $ARGV[1] || "build/josmfiles"; 12 12 print "$ARGV[0]\n"; 13 if($ARGV[0] && $ARGV[0] =~ /^http:\/\//) 13 if($ARGV[0] && $ARGV[0] =~ /^https?:\/\//) 14 14 { 15 15 $filename = $ARGV[2] || "build/josmfiles.zip";
Note:
See TracChangeset
for help on using the changeset viewer.