var globals_dup =
[
    [ "e", "globals.html", null ],
    [ "f", "globals_f.html", null ],
    [ "r", "globals_r.html", null ],
    [ "s", "globals_s.html", null ],
    [ "t", "globals_t.html", null ]
];