source: josm/trunk/src/org@ 18951

Name Size Rev Age Author Last Change
../
openstreetmap 18951   10 months GerdP fix #23430: Resetting preference validator.selectionFilter results in …
  • Property svn:ignore set to
    w3
Note: See TracBrowser for help on using the repository browser.