Git settings

- Clean up the .gitignore file. - Treat Info pages as binary files.
2024-09-27 10:46:40 +02:00
parent 4cb77488bc
commit 66dd5fed23
2 changed files with 3 additions and 4 deletions
--- a/.gitattributes
+++ b/.gitattributes
@@ -0,0 +1 @@
+*.info binary