incorporated another patch from Ondra Hosek which fixes tux not getting killed on...
[supertux.git] / intl / .cvsignore
2004-06-03 Matthias Braunhopefully fixed all configure problems now