source: osm/applications/editors/josm/plugins/wikipedia/.settings@ 29909

Name Size Rev Age Author Last Change
../
org.eclipse.jdt.core.prefs 6.3 KB 29854   11 years donvip [josm_plugins] fix #8987 - bump min JOSM version of nearly all plugins …
Note: See TracBrowser for help on using the repository browser.