comparison: Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheckerDialog.py
Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheckerDialog.py
- changeset 5849
- 512001065055
- parent 5828
- c8deff89c20c
- child 5863
- 0752bdd8db77
- child 6048
- 82ad8ec9548c
equal
deleted
inserted
replaced