fix for star not changing music, thanks to Ondra Hosek for the patch
[supertux.git] / src / object / player.h
2004-11-26 Matthias Braunsome cleanups memory leak fixes and moving of source...