Changeset 2834 in josm for trunk/src/org/openstreetmap
- Timestamp:
- 2010-01-13T09:11:13+01:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
r2830 r2834 159 159 + "</html>" 160 160 ); 161 togglePreferenceKey = "pluginman ger.version";161 togglePreferenceKey = "pluginmanager.version"; 162 162 } else { 163 163 long tim = System.currentTimeMillis();
Note:
See TracChangeset
for help on using the changeset viewer.