var group__lagts =
[
    [ "dlagts", "d3/d06/group__lagts_gae549d3c611a2af3ca272095fafb9f5b3.html#gae549d3c611a2af3ca272095fafb9f5b3", null ],
    [ "slagts", "d3/d06/group__lagts_ga5e5224753aa2ad470b56bd78b74c2e8e.html#ga5e5224753aa2ad470b56bd78b74c2e8e", null ]
];
.