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

diff: Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheckService.py

Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheckService.py

changeset 4217

38e8903f9c2f

parent 4021

195a471c327b

child 4231

0b38613388c9