var _keyboard_tools_8h =
[
    [ "AnyKeyIsPressed", "_keyboard_tools_8h.html#ace010e6346ba34c8d79b0883b79a84f1", null ],
    [ "IsKeyPressed", "_keyboard_tools_8h.html#a291d16cc43db823e61ff71ee65827c95", null ]
];