Changeset 15210 in josm for trunk/src/org


Ignore:
Timestamp:
2019-07-06T22:10:15+02:00 (5 years ago)
Author:
Don-vip
Message:

see #17853 - add missing preference change listener

File:
1 edited

Legend:

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