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

Last change on this file since 24714 was 11783, checked in by stotz, 16 years ago

Patch by r_x and further small enhancements
File size: 119 bytes
RevLine 
[11783]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.