checkkconfigsymbols.py revision 8e8e3331
1