var menu__entries_8cpp =
[
    [ "Colored", "menu__entries_8cpp.html#a12f3ca405f8238e1d03dff81d4cf6997", null ],
    [ "main", "menu__entries_8cpp.html#ae66f6b31b5ad750f1fe042a706a4e3d4", null ]
];