Changeset 8175 in josm
- Timestamp:
- 2015-04-07T10:18:15+02:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MainApplication.java
r8169 r8175 351 351 if (args.containsKey(Option.SKIP_PLUGINS)) { 352 352 skipLoadingPlugins = true; 353 Main.info(tr("Plugin s loadedskipped"));353 Main.info(tr("Plugin loading skipped")); 354 354 } 355 355
Note:
See TracChangeset
for help on using the changeset viewer.