Re: New script to strip out entries from languages list

[Thomas Lange <lange@cs.uni-koeln.de>]

Hi Holger,

this script looks good to me. Thanks a lot for your work on this.
I think you can merge it.

>>>>> On Mon, 1 Jan 2024 23:39:09 +0100, Holger Wansing <hwansing@mailbox.org> said:


    > In additional steps, we could also remove entries like de_AT, de_CH, de_DE
    > and only leave 'de', as mentioned by Thomas.
    > But that's another discussion.
I guess we do not want to remove those languages, but merge the
variants into de. But maybe this need to be done in a different
script, maybe in gen-files.pl.

-- 
regards Thomas