source:
osm/applications/viewer/jmapviewer/.settings/org.eclipse.jdt.ui.prefs@
30759
| Last change on this file since 30759 was 25370, checked in by , 14 years ago | |
|---|---|
| File size: 282 bytes | |
| Rev | Line | |
|---|---|---|
| [25370] | 1 | #Sun Jan 31 13:16:40 CET 2010 |
| [11783] | 2 | eclipse.preferences.version=1 |
| 3 | formatter_profile=_JOSM | |
| 4 | formatter_settings_version=11 | |
| [25370] | 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.
