Renamed MenuManager to MenuStorage and MenuManager2 to MenuManager
[supertux.git] / src / gui / menu_item.cpp
2009-11-18 Ingo RuhnkeInclude optimizations
2009-11-18 Ingo RuhnkeSplit gui/menu.?pp