comparison: Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheckerDialog.py
Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheckerDialog.py
- changeset 4218
- f542ad1f76c5
- parent 4021
- 195a471c327b
- child 4231
- 0b38613388c9
- child 4280
- 9556c261c3a2
equal
deleted
inserted
replaced