bug fix in the converter, in case anybody still cares
[supertux.git] / contrib / levelconvert.py
2004-03-20 Ingo Ruhnke- added converter script for levels