Changeset 9119 in josm for trunk/src/org
- Timestamp:
- 2015-12-14T22:05:12+01:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/Preferences.java
r9074 r9119 1817 1817 */ 1818 1818 public void removeObsolete() { 1819 // drop this block end of 20151820 // update old style JOSM server links to use zip now, see #10581 1819 // drop this block march 2016 1820 // update old style JOSM server links to use zip now, see #10581, #12189 1821 1821 // actually also cache and mirror entries should be cleared 1822 if (getInteger("josm.version", Version.getInstance().getVersion()) < 8099) {1822 if (getInteger("josm.version", Version.getInstance().getVersion()) < 9119) { 1823 1823 for (String key: new String[]{"mappaint.style.entries", "taggingpreset.entries"}) { 1824 1824 Collection<Map<String, String>> data = getListOfStructs(key, (Collection<Map<String, String>>) null);
Note:
See TracChangeset
for help on using the changeset viewer.