fix for star not changing music, thanks to Ondra Hosek for the patch
[supertux.git] / m4 / .cvsignore
2004-06-03 Matthias Braunhopefully fixed all configure problems now