TODO: update and add a few more items

[public-inbox.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 167d08bfacba92eb5476560fcc9feeedf27bc2e7..9eb97751cf1d090f5688b5120f5f51d81e35e719 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,5 @@
+/.prove
+/.proverc
 /config.mak
 /MANIFEST.gen
 /Makefile.old