source:
osm/applications/viewer/jmapviewer/.settings/org.eclipse.jdt.ui.prefs@
36017
| Last change on this file since 36017 was 25370, checked in by , 15 years ago | |
|---|---|
| File size: 282 bytes | |
| Line | |
|---|---|
| 1 | #Sun Jan 31 13:16:40 CET 2010 |
| 2 | eclipse.preferences.version=1 |
| 3 | formatter_profile=_JOSM |
| 4 | formatter_settings_version=11 |
| 5 | org.eclipse.jdt.ui.exception.name=e |
| 6 | org.eclipse.jdt.ui.gettersetter.use.is=true |
| 7 | org.eclipse.jdt.ui.keywordthis=false |
| 8 | org.eclipse.jdt.ui.overrideannotation=true |
Note:
See TracBrowser
for help on using the repository browser.
