mirror of
https://github.com/wesnoth/wesnoth
synced 2025-04-28 17:33:17 +00:00

Thanks to @jostephd for pointing out that it shouldn't be removed. [ci skip] (cherry-picked from commit c59ae5204affcdc6f4e2ac68535c212ab0f46611)
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.