comparison: Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheckerDialog.py
Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheckerDialog.py
- changeset 5762
- 76ef5f340007
- parent 5609
- 5bf0aaa818e9
- child 5680
- b93cb6353cc0
- child 5828
- c8deff89c20c
equal
deleted
inserted
replaced