removed some duplicate tiles IDs, and cleaned up the worldmap some more
[supertux.git] / tools / Jamfile
1 SubDir TOP tools ;
2
3 SubInclude TOP tools miniswig ;