source: josm/branch/0.5/.settings@ 3986

Name Size Rev Age Author Last Change
../
org.eclipse.jdt.core.prefs 24.1 KB 299   17 years imi - added update of plugins
org.eclipse.jdt.ui.prefs 5.1 KB 301   17 years imi - fixed undo/redo to be global - fixed adding of objects work with …
Note: See TracBrowser for help on using the repository browser.