From 83153af426b36655a93d9bd2cb57d4ca14d9de12 Mon Sep 17 00:00:00 2001 From: Don Armstrong Date: Thu, 10 Aug 2017 08:43:36 -0700 Subject: [PATCH] ignore minted progress files --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 042c87c..18fd1e7 100644 --- a/.gitignore +++ b/.gitignore @@ -16,3 +16,4 @@ debbugs_presentation.tex auto cache debbugs_presentation.vrb +_minted-* -- 2.39.2