Let git ignore text files in this repo.

2025-11-13 11:00:30 +01:00 · 2025-11-13 11:00:30 +01:00 · 7c56254b97
commit 7c56254b97
parent efa56b39be
1 changed files with 2 additions and 1 deletions
--- a/.gitignore
+++ b/.gitignore
@ -1,3 +1,4 @@
 *.exe
 *.o
-*.so
+*.so
 *.txt
 *.exe
 *.o
 *.so
+*.txt