On Thu, Aug 11, 2016 at 11:34 AM, Geoffrey De Belie
> Thanks a lot. I've managed to convert them all, but they need cleanup. I'm
> writing a script for that (see below).
> For example, the converted pingus file contains entrances/entrances,
> exits/exits which Pingus does not have. Pingus only knows about exits/ and
> entrances/. Currently this is the script I have to convert the XML version 1
> files to XML version 2, then to Pingus file format.
Some of the resource names got cleaned up, there are is a program to
generate a sed script to fix that in the git history:
> What's the difference between Pingus format level 2 and Pingus format level
No idea, it got changed in this commit:
But it doesn't seem to contain any important changes.
Pingus-Devel mailing list