ignore minted progress files

[debbugs-presentations.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 042c87ca56ff2c3a8bd59f25774ab97c8069bd1b..18fd1e7d28dad88aadaca74ffb8f8eb3de1767b2 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -16,3 +16,4 @@ debbugs_presentation.tex
 auto
 cache
 debbugs_presentation.vrb
+_minted-*