checkkconfigsymbols.py revision d62d5aed
1