source:
osm/applications/editors/josm/plugins/usertools/.settings/org.eclipse.jdt.ui.prefs@
16585
| Last change on this file since 16585 was 12910, checked in by , 16 years ago | |
|---|---|
| File size: 96 bytes | |
| Line | |
|---|---|
| 1 | #Mon Dec 31 17:33:41 GMT 2007 |
| 2 | eclipse.preferences.version=1 |
| 3 | internal.default.compliance=default |
Note:
See TracBrowser
for help on using the repository browser.
