mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-05 19:11:46 +00:00

It makes sense to add this in a .gitignore as the filename must be the same in different checkouts.
It makes sense to add this in a .gitignore as the filename must be the same in different checkouts.