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