source: osm/applications/editors/josm/plugins/seachartedit/.settings@ 35158

Name Size Rev Age Author Last Change
../
org.eclipse.jdt.ui.prefs 2.9 KB 33030   8 years donvip checkstyle
org.eclipse.jdt.core.prefs 7.0 KB 32699   8 years donvip see #josm11390 - update Eclipse preferences files to Java 8
Note: See TracBrowser for help on using the repository browser.