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

[ci skip] Since these are usually used inline or as key values, we don't need the extra padding. (cherry-picked from commit 7db83e3a0e5de45b3e64eb1da784a8ce334a49c6)