source:
josm/.settings/org.eclipse.jdt.ui.prefs
@
79
Last change on this file since 79 was 79, checked in by , 16 years ago | |
---|---|
File size: 115 bytes |
Line | |
---|---|
1 | #Mon Apr 03 21:08:35 CEST 2006 |
2 | eclipse.preferences.version=1 |
3 | formatter_profile=_josm |
4 | formatter_settings_version=10 |
Note: See TracBrowser
for help on using the repository browser.