var request__manager_8js =
[
    [ "if", "request__manager_8js.html#aca6096cc954ccbf840baf7740c11170f", null ],
    [ "if", "request__manager_8js.html#a2d6ca8e10a51a7582b37440157f19cc1", null ],
    [ "compile_opener_data", "request__manager_8js.html#a49ceda95627fbd65cafe384b32a14389", null ]
];