source: subversion/applications/editors/josm/plugins/buildings_tools/.settings

Name Size Rev Age Author Last Change
org.eclipse.jdt.core.prefs 28.8 KB 32699   4 years donvip see #josm11390 - update Eclipse preferences files to Java 8
org.eclipse.jdt.ui.prefs 2.7 KB 24243   10 years upliner Add features requested by kryskow: make OK button in dialogs default …
Note: See TracBrowser for help on using the repository browser.