incorporated another patch from Ondra Hosek which fixes tux not getting killed on...
[supertux.git] / SConscript
1 # needed so that scons -U works correctly
2 Default(".")
3