incorporated another patch from Ondra Hosek which fixes tux not getting killed on...
[supertux.git] / obj /
2003-04-09 Bill KendrickInitial revision