source:
josm/.settings/org.eclipse.jdt.ui.prefs@
79
Last change on this file since 79 was 79, checked in by , 18 years ago | |
---|---|
File size: 115 bytes |
Rev | Line | |
---|---|---|
[79] | 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.