On Sat, Aug 13, 2016 at 7:15 PM, Ingo Ruhnke <grum...@gmail.com> wrote: > 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:
I added that sed script to the repository now so that people don't have to dig through history: https://github.com/Pingus/pingus/blob/master/tools/pingus-old-resource-convert.sed _______________________________________________ Pingus-Devel mailing list Pingus-Devel@nongnu.org https://lists.nongnu.org/mailman/listinfo/pingus-devel