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

1. Added import os for installations where it is not a default 2. Improved check for empty unordered_map 3. Moved strip_type to its own file
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.