var zdotc_8f =
[
    [ "zdotc", "d1/dcc/group__dot_ga2d59b29ec40fb1bedeb3f10205155ee6.html#ga2d59b29ec40fb1bedeb3f10205155ee6", null ]
];
.