Fix for bug #436 - just clear last_menus when set_current(NULL) is called
[supertux.git] / tools / innosetup /
drwxr-xr-x   ..
-rw-r--r-- 18718 supertux.ico
-rw-r--r-- 4426 supertux.iss