var dlangt_8f =
[
    [ "dlangt", "d5/d0e/group__langt_ga5bee474249df48eadefb653e4fd0e659.html#ga5bee474249df48eadefb653e4fd0e659", null ]
];
.