mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-01 14:20:33 +00:00
62a11d4754
...instead of campaigns.wesnoth.org it will point to the same machine, just make it clear that there is more than only campaigns on the machine
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.