mirror of
https://github.com/wesnoth/wesnoth
synced 2025-04-23 22:00:25 +00:00
74da2a1724
While adding TDG to mainline, I missed adding it to the schema. As a result, a lot of issues went unnoticed. This PR adds TDG to the schema, and fixes the various discovered errors. This PR also updates the schema to reflect the engine supporting multiple [filter] tags in events, and to reflect the engine supporting [change_theme] without keys.
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.