var zgetsls_8f =
[
    [ "zgetsls", "dd/dc8/group__getsls_ga95dd50f21dc96dd6c92977c6500efe3b.html#ga95dd50f21dc96dd6c92977c6500efe3b", null ]
];
.