source:
trunk/org.modelica.mdt.debug.ui/.settings/org.eclipse.jdt.ui.prefs
@
1832
Last change on this file since 1832 was 486, checked in by adrpo, 17 years ago | |
---|---|
File size: 99 bytes |
Line | |
---|---|
1 | #Sat Mar 24 15:14:51 CET 2007 |
2 | eclipse.preferences.version=1 |
3 | internal.default.compliance=default |
Note: See TracBrowser
for help on using the repository browser.