Steve Cotton 95e3b7aa91 Port the GDB pretty-printing functions to Python3 and update docs
The code in the documentation needed to change slightly for the port,
so the documentation update is combined in the same commit.
2020-01-22 19:34:01 +01:00
..
2019-10-01 11:36:35 +02:00
2019-12-31 17:17:34 -06:00
2018-01-19 00:02:20 -06: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.