1 files changed, 4 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index fd51a7f..e127dc1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -26,3 +26,7 @@
 *.swp
 *.synctex.gz
 _minted-*/
+
+*.pvs~
+*.prf~
+