Fix for bug #436 - just clear last_menus when set_current(NULL) is called
[supertux.git] / man /
drwxr-xr-x   ..
drwxr-xr-x - man6