checkkconfigsymbols.py revision 36c79c7f
1