mirror of
https://github.com/wesnoth/wesnoth
synced 2024-09-20 07:51:33 +00:00
This is a directory of miscellaneous developer tools for Battle Of Wesnoth, mostly to support packaging, code integrity checks, and control of the Wesnoth campaign server. Tools that work on data (WML, maps, images, sounds) no longer belong here. Go to data/tools for those.