source: osm/applications/viewer/jmapviewer/.settings/org.eclipse.jdt.ui.prefs@ 13035

Last change on this file since 13035 was 11783, checked in by stotz, 17 years ago

Patch by r_x and further small enhancements
File size: 119 bytes
Line 
1#Tue Oct 21 16:34:49 CEST 2008
2eclipse.preferences.version=1
3formatter_profile=_JOSM
4formatter_settings_version=11
Note: See TracBrowser for help on using the repository browser.