checkkconfigsymbols.py revision 2f9cc12b
1