var guTranslateF_8c =
[
    [ "guTranslate", "guTranslateF_8c.html#a58b365e073c051c652890891b52239ac", null ],
    [ "guTranslateF", "guTranslateF_8c.html#ad8d0c6a920defddefdd6bbf1a0e23c3d", null ]
];