source: josm/.settings @ 301

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