Merged r4480 from 0_3_x to fix soundproblem in info boxes.
[supertux.git] / contrib /
drwxr-xr-x   ..
drwxr-xr-x - kdevelop
drwxr-xr-x - misc
-rw-r--r-- 36371 supertux-nogl.diff