checkkconfigsymbols.py revision 0bd38ae3
1