source:
osm/applications/viewer/jmapviewer/.settings/org.eclipse.jdt.ui.prefs@
30336
Last change on this file since 30336 was 25370, checked in by , 14 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.