var descinit_8f =
[
    [ "descinit", "dd/d22/descinit_8f_ad14ddc74cad76a54ca9105121af950c1.html#ad14ddc74cad76a54ca9105121af950c1", null ]
];
.