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

* adds a status option to write the current number of users and games to a file * adds a quiet option to suppress most output
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.