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:


Pingus-Devel mailing list

Reply via email to