Changeset 4960 in josm for trunk/src/org/openstreetmap/josm/data/Preferences.java
- Timestamp:
- 2012-02-16T20:58:54+01:00 (13 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/Preferences.java
r4937 r4960 332 332 locations.add("/usr/lib/josm/"); 333 333 return locations; 334 }335 336 @Deprecated337 synchronized public boolean hasKey(final String key) {338 return properties.containsKey(key);339 334 } 340 335
Note:
See TracChangeset
for help on using the changeset viewer.