shutdown_menu(3alleg) on Linux

The text 0d83f2dda869, as Debian 4.0 (Etch) shipped it.

Destroys a menu player object returned by init_menu(). Allegro game programming library.