mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-17 22:03:24 +00:00
Prevent spurious wmllint messages.
This commit is contained in:
parent
462365bf02
commit
001f647b72