source: josm@ 14858

Name Size Rev Age Author Last Change
trunk 14858   5 years GerdP see #17345: disable ignore button only when the top level (severity) …
release 322   17 years (none) - restructure of repository second part
branch 342   17 years framm - removed preferences override settings - changed "getting started" …
  • Property svn:ignore set to

Note: See TracBrowser for help on using the repository browser.