Stop music, so that its handle can be freed, before playing other music on sector...
[supertux.git] / contrib / kdevelop /
drwxr-xr-x   ..
-rw-r--r-- 149 README
-rw-r--r-- 4749 supertux.kdevelop
-rwxr-xr-x 123 update-filelist.sh