Changeset 2372 in josm for trunk/src/org/openstreetmap/josm/data
- Timestamp:
- 2009-11-01T14:14:52+01:00 (14 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/Preferences.java
r2371 r2372 323 323 public void save() throws IOException { 324 324 /* currently unused, but may help to fix configuration issues in future */ 325 p roperties.put("josm.version", Version.getInstance().getVersionString());325 putInteger("josm.version", Version.getInstance().getVersion()); 326 326 327 327 updateSystemProperties();
Note:
See TracChangeset
for help on using the changeset viewer.