comparison: Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheckerDialog.py
Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheckerDialog.py
- changeset 5508
- 30626def80dc
- parent 5389
- 9b1c800daff3
- child 5597
- 3d88d53f8c2b
- child 5611
- 0e2ec2edbfa6
equal
deleted
inserted
replaced