source: josm/trunk/.settings @ 1441

Name Size Rev Age Author Last Change
../
org.eclipse.jdt.core.prefs 25.2 KB 981   11 years framm - applied source code formatting patch from #1462
org.eclipse.jdt.ui.prefs 5.1 KB 608   12 years framm - new extrude mode allows creation of rectangular shapes - new …
Note: See TracBrowser for help on using the repository browser.