var dgemmtr_8f =
[
    [ "dgemmtr", "d0/d27/group__gemmtr_ga443bc0e025f31532457a1b6ef17bffed.html#ga443bc0e025f31532457a1b6ef17bffed", null ]
];
.