var namespacezypp_1_1parser_1_1ws = [ [ "WebpinResultFileReader", "classzypp_1_1parser_1_1ws_1_1WebpinResultFileReader.html", "classzypp_1_1parser_1_1ws_1_1WebpinResultFileReader" ] ];
var namespacezypp_1_1parser_1_1ws = [ [ "WebpinResultFileReader", "classzypp_1_1parser_1_1ws_1_1WebpinResultFileReader.html", "classzypp_1_1parser_1_1ws_1_1WebpinResultFileReader" ] ];