var dgetri_8f =
[
    [ "dgetri", "da/d28/group__getri_ga8b6904853957cfb37eba1e72a3f372d2.html#ga8b6904853957cfb37eba1e72a3f372d2", null ]
];
.