Ignore more non-source files

* .gitignore: Ignore *.diff, *.i, *.orig, *.rej, *.tar. Ignore check_* files, as they are created by ‘make check’.
eggert · May 16, 2019 · 0b0735c · 0b0735c
1 parent 3ff2958
commit 0b0735c
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -2,14 +2,20 @@
 # This file is in the public domain.
 *.a
 *.asc
+*.diff
+*.i
 *.o
+*.orig
 *.patch
+*.rej
+*.tar
 *.tar.*
 *.txt
 *.tzs
 *.zi
 *~
 ChangeLog
+check_*
 date
 leapseconds
 tzselect