mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-16 18:31:32 +00:00

handle profiling logs use the new shut down feature to properly shut the server down on ctrl+c
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.