more kinds of menu_event are handled directly in the menu-code now.
[supertux.git] / AUTHORS
2004-03-07 Ricardo CruzImproved help and credits text