incorporated another patch from Ondra Hosek which fixes tux not getting killed on...
[supertux.git] / src / badguy / .cvsignore
1 .sconsign