var empty_8hpp =
[
    [ "empty_view", "empty_8hpp.html#accc939ed906402869056576f5459eeeb", null ]
];