[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Pingus-Devel] Convert XML levels to .pingus format
|
From: |
Ingo Ruhnke |
|
Subject: |
Re: [Pingus-Devel] Convert XML levels to .pingus format |
|
Date: |
Wed, 24 Aug 2016 10:38:46 +0200 |
On Sat, Aug 13, 2016 at 7:15 PM, Ingo Ruhnke <address@hidden> 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