comparison: Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheckerDialog.py
Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheckerDialog.py
- changeset 3630
- e32c3cec5d7e
- parent 3621
- 15f23ed3f216
- child 3656
- 441956d8fce5
- child 3973
- f77cdeea80e3
equal
deleted
inserted
replaced