incorporated another patch from Ondra Hosek which fixes tux not getting killed on...
[supertux.git] / data / credits.txt
2004-11-21 Matthias Braunrenamed CREDITS to credits.txt