Gunter Labes 8c581eee90
Avoid rewriting the same file multiple times
Also process some more extensions that current source files use.
2024-08-19 08:55:08 +02:00
..
2023-10-24 23:11:36 -05:00

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.