mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-03 07:07:31 +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.