comparison: Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheckerDialog.py
Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheckerDialog.py
- changeset 847
- cc18fbcde9fc
- parent 831
- f046b97785db
- child 915
- c1e052773c08
- child 1510
- e75ecf2bd9dd
equal
deleted
inserted
replaced