widelands-dev team mailing list archive

[GunChleoc <fios@xxxxxxxxxxxxxxxxxxx>]

It's sufficient to run it when a change in the json files has taken place. My plan is to add it to merge_and_push_translations.py, this will make it frequent enough. No need to add it to the compile script.
-- 
https://code.launchpad.net/~widelands-dev/widelands/authors/+merge/250513
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/authors into lp:widelands.