lei: completion: bash: generalize nospace usage

[public-inbox.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 6a44471f1cff95aa2caefb64d46168002022c0ef..f7e4c5953e68b7f36866cb3e96f1a3f926070ceb 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,5 @@
+/.prove
+/.proverc
 /config.mak
 /MANIFEST.gen
 /Makefile.old
@@ -12,3 +14,10 @@
 *.8
 *.html
 *.gz
+.*.cols
+.*.check
+.*.lexgrog
+/NEWS.html
+/NEWS.atom
+/NEWS
+*.log