Changeset 17227 in josm


Ignore:
Timestamp:
2020-10-18T12:03:21+02:00 (10 days ago)
Author:
simon04
Message:

see #7548 - Re-organize the preference dialog (remove "settings" from tab names)

Location:
trunk/src/org/openstreetmap/josm/gui/preferences
Files:
6 edited

Legend:

Unmodified
Added
Removed
Note: See TracChangeset for help on using the changeset viewer.