Moved TitleScreen::get_level_name() into GameManager, not a great place either, but...
[supertux.git] / src / supertux / script_interface.hpp
2009-11-17 Ingo RuhnkeMerged changes from branches/supertux-milestone2-grumbe...