fixed type :) yeah, the really important commit today! :)
[supertux.git] / libtool
2004-07-20 Tobias Gläßerthese two files are needed for libtool support