source: trunk/org.modelica.mdt.ui/src/org/modelica/mdt/ui/preferences @ 431

Name Size Rev Age Author Last Change
../
ModelicaPreferencePage.java 8.2 KB 431   19 years boris * (hopefully) improved modelica preferences page wording a bit * …
Note: See TracBrowser for help on using the repository browser.