.gitignore: ignore local prove(1) files

As described in prove(1), .prove is storage for --state=save
and .proverc allows per-worktree customizations.

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