converted all sound files to .ogg (to avoid problems with different sampling rates...
[supertux.git] / tools / Jamfile
1 SubDir TOP tools ;
2
3 SubInclude TOP tools miniswig ;