source: josm/trunk/.settings@ 1402

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