var _gather_8hpp =
[
    [ "Gather", "_gather_8hpp.html#a4f1a1b88b01d8dfda3803776e0778a49", null ]
];