doc: update 1.7 release notes, tuning, TODO

[public-inbox.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 9eb97751cf1d090f5688b5120f5f51d81e35e719..f7e4c5953e68b7f36866cb3e96f1a3f926070ceb 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -15,6 +15,9 @@
 *.html
 *.gz
 .*.cols
+.*.check
+.*.lexgrog
 /NEWS.html
 /NEWS.atom
 /NEWS
+*.log