source:
trunk/org.modelica.mdt.ui/.options
@
1863
Last change on this file since 1863 was 482, checked in by adrpo, 18 years ago | |
---|---|
File size: 159 bytes |
Rev | Line | |
---|---|---|
[482] | 1 | org.modelica.mdt.ui/trace/UIPlugin=false |
2 | org.modelica.mdt.ui/trace/MarkProblemsVisitor=false | |
3 | org.modelica.mdt.ui/trace/MetaModelicaPatternMatchListener=false |
Note: See TracBrowser
for help on using the repository browser.