var zdotu_8f =
[
    [ "zdotu", "d1/dcc/group__dot_ga6b0b69474b384d45fc4c7b1f7ec5959f.html#ga6b0b69474b384d45fc4c7b1f7ec5959f", null ]
];
.