var dorgtr_8f =
[
    [ "dorgtr", "d0/d92/group__ungtr_gaf5fe3b97042a7a9a19c04894e0ae84e7.html#gaf5fe3b97042a7a9a19c04894e0ae84e7", null ]
];
.