Fix for bug #436 - just clear last_menus when set_current(NULL) is called
[supertux.git] / contrib /
drwxr-xr-x   ..
drwxr-xr-x - kdevelop
-rw-r--r-- 10826 supertux-coop.diff
-rw-r--r-- 63913 supertux-nogl.diff