checkkconfigsymbols.py revision 0d18c192
1