Change attributes of bin/git-ignore

This commit is contained in:
2023-07-28 21:01:19 +02:00
parent f259f864fb
commit 776334582f