- Timestamp:
- 2017-02-17T02:03:33+01:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/imagery/ImageryInfo.java
r11570 r11571 188 188 /** country code of the imagery (for country specific imagery) */ 189 189 private String countryCode = ""; 190 /** 190 /** 191 191 * creation date of the imagery (in the form YYYY-MM-DD;YYYY-MM-DD, where 192 192 * DD and MM as well as a second date are optional) … … 1192 1192 n.setTileSize(i.getTileSize()); 1193 1193 } 1194 if (n.id != null) {1194 if (n.id != null) { 1195 1195 n.id = n.id + "_mirror"+num; 1196 1196 } 1197 if (num > 1) {1197 if (num > 1) { 1198 1198 n.name = tr("{0} mirror server {1}", n.name, num); 1199 1199 n.origName += " mirror server " + num;
Note:
See TracChangeset
for help on using the changeset viewer.