var slangt_8f =
[
    [ "slangt", "d5/d0e/group__langt_gac589a14f68e362cf8cb534f5fa79fa97.html#gac589a14f68e362cf8cb534f5fa79fa97", null ]
];
.