convert mapinfo to new format
[xonotic/xonotic-maps.pk3dir.git] / maps / red-planet.mapinfo
2010-10-22 Rudolf Polzerconvert mapinfo to new format
2010-10-20 Rudolf PolzerRed Planet, first version