source: osm/applications/editors/josm/plugins/ext_tools/.settings@ 23864

Name Size Rev Age Author Last Change
../
org.eclipse.jdt.core.prefs 618 bytes 22236   14 years jttt Adapt to latest josm
Note: See TracBrowser for help on using the repository browser.