var dtrmm_8f =
[
    [ "dtrmm", "dd/dab/group__trmm_ga4d2f76d6726f53c69031a2fe7f999add.html#ga4d2f76d6726f53c69031a2fe7f999add", null ]
];
.