Removed some remaining empty 'void Menu::check_menu()' calls
authorIngo Ruhnke <grumbel@gmail.com>
Tue, 19 Aug 2014 00:44:20 +0000 (02:44 +0200)
committerIngo Ruhnke <grumbel@gmail.com>
Tue, 19 Aug 2014 00:44:20 +0000 (02:44 +0200)
commit0dfc9395c709d05e0a6ef27ad825990413939aad
tree40ecde92986f66f0be32f7daeebdd040c9c15494
parent1db26006c1a6eb3adca56bc461b28f94dbd22c3e
Removed some remaining empty 'void Menu::check_menu()' calls
src/supertux/menu/options_menu.cpp
src/supertux/menu/options_menu.hpp
src/supertux/menu/profile_menu.hpp