lei: add-external --mirror support

[public-inbox.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index dc18378c238f4818a7f9e90923b1499743893107..f7e4c5953e68b7f36866cb3e96f1a3f926070ceb 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,7 @@
+/.prove
+/.proverc
+/config.mak
+/MANIFEST.gen
 /Makefile.old
 /pm_to_blib
 /MYMETA.*
@@ -7,5 +11,13 @@
 *.1
 *.5
 *.7
+*.8
 *.html
 *.gz
+.*.cols
+.*.check
+.*.lexgrog
+/NEWS.html
+/NEWS.atom
+/NEWS
+*.log