var searchData= [ ['hascontrollchars',['hascontrollchars',['../group__xml__dump.html#ga105d0a6b042073ababa067cc99e7c361',1,'xml_dump.h']]] ];
var searchData= [ ['hascontrollchars',['hascontrollchars',['../group__xml__dump.html#ga105d0a6b042073ababa067cc99e7c361',1,'xml_dump.h']]] ];