incorporated another patch from Ondra Hosek which fixes tux not getting killed on...
[supertux.git] / COPYING
2004-03-09 Duong-Khang Nguyenwork in progress support of autoconf stuff