checkkconfigsymbols.py revision 38cbfe4f
1