fix for star not changing music, thanks to Ondra Hosek for the patch
[supertux.git] / contrib / tilemanager / Parser.cs
2004-11-23 Matthias Braunfix some more timings and the long standing gradient...
2004-11-22 Matthias Braunthe app that was used to edit supertux.stgt for the...