Jyrki Vesterinen cdd9a902a7 Fix #3436: pot-update failing
(cherry-picked from commit 5bbc7fedca1a7ab19cfe05e3b92fb49973e29972)
2018-10-07 03:24:03 +00:00
..
2018-10-07 03:24:03 +00:00

This is a directory of miscellaneous developer tools for Battle for Wesnoth, mostly to support packaging, code integrity checks, and control of the Wesnoth servers.

Tools that work on data (WML, maps, images, sounds) no longer belong here. Go to data/tools for those.