source: subversion/applications/viewer/jmapviewer/.settings/org.eclipse.jdt.ui.prefs @ 30814

Last change on this file since 30814 was 25370, checked in by stotz, 9 years ago

Gpl added; release zip created

File size: 282 bytes
Line 
1#Sun Jan 31 13:16:40 CET 2010
2eclipse.preferences.version=1
3formatter_profile=_JOSM
4formatter_settings_version=11
5org.eclipse.jdt.ui.exception.name=e
6org.eclipse.jdt.ui.gettersetter.use.is=true
7org.eclipse.jdt.ui.keywordthis=false
8org.eclipse.jdt.ui.overrideannotation=true
Note: See TracBrowser for help on using the repository browser.