Ignore:
Timestamp:
2017-10-07T13:31:45+02:00 (7 years ago)
Author:
Don-vip
Message:

see #14602 - Override digit group separator to be consistent across languages with ISO 80000-1 + checkstyle fixes

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

Legend:

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