• file
• latest
• revisions
• annotate
• diff
• comparison
• raw

diff: Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheckerDialog.ui

Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheckerDialog.ui

changeset 3630

e32c3cec5d7e

parent 3137

59d9f8c238f0

child 5508

30626def80dc