lei: add-external --mirror support

[public-inbox.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 7f4142ba7e03f5aad0a30dfb7563af83bbfa8e76..f7e4c5953e68b7f36866cb3e96f1a3f926070ceb 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -16,6 +16,7 @@
 *.gz
 .*.cols
 .*.check
+.*.lexgrog
 /NEWS.html
 /NEWS.atom
 /NEWS