mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-09 14:03:27 +00:00

This reverts commit 62eb55a5a712b3e2157cf7fc0bb12873c4f0a574, since it was superseded by a real fix in 6629fdf64e7db529db574f2f8f6600ebd797d5ff.
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.