var dir_3bf4f05cbe0623f623c0273016c80f8a =
[
    [ "websocket_server.cpp", "websocket__server_8cpp.html", "websocket__server_8cpp" ],
    [ "websocket_server.h", "websocket__server_8h.html", "websocket__server_8h" ]
];