1 files changed, 2 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 8971f56..1db5035 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,4 +12,5 @@ auto/
 *.toc
 *~
 _region_.tex
-prv_*.fmt
-\ No newline at end of file
+prv_*.fmt
+*.prv
+\ No newline at end of file