shared_kv: simplify PID+object guard for cleanup

[public-inbox.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 167d08bfacba92eb5476560fcc9feeedf27bc2e7..f7e4c5953e68b7f36866cb3e96f1a3f926070ceb 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,5 @@
+/.prove
+/.proverc
 /config.mak
 /MANIFEST.gen
 /Makefile.old
@@ -13,6 +15,9 @@
 *.html
 *.gz
 .*.cols
+.*.check
+.*.lexgrog
 /NEWS.html
 /NEWS.atom
 /NEWS
+*.log