add(git): better global ignore

This commit is contained in:
Léana 江 2023-10-13 17:47:58 +02:00 committed by Léana 江
parent a7352ce34b
commit 8b10b1221d
2 changed files with 5 additions and 2 deletions

View file

@ -8,6 +8,7 @@
*.d
# Object files
**/obj/
*.o
*.ko
*.obj
@ -35,6 +36,7 @@
*.dylib
# Executables
**/bin/
*.exe
*.out
*.app
@ -414,6 +416,7 @@ setup.log
# Local OPAM switch
_opam/
## My rules
# pdf files change often and creates conflits, add them manually