checkkconfigsymbols.py revision aa0f5ea1
1