mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-01 18:19:10 +00:00

Otherwise people will keep complaining that it doesn't reflect the latest 1.14 version since the original number was valid for 1.14.0 and 1.14.4. [ci skip] (cherry-picked from commit c589e39098614b2180b4043db6b9faa71afe6c84)
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.