Changeset 14419 in josm for trunk/src/org/openstreetmap/josm/gui
- Timestamp:
- 2018-11-09T21:39:14+01:00 (5 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/mappaint/RenderingCLI.java
r14415 r14419 198 198 } 199 199 if (o.getShortOption() != '*') { 200 parser.addShortAlias(o.getName(), o.getShortOption() + "");200 parser.addShortAlias(o.getName(), Character.toString(o.getShortOption())); 201 201 } 202 202 }
Note:
See TracChangeset
for help on using the changeset viewer.