From 93eb94b24a59acadb121dfbf35f5d43b3f2d7387 Mon Sep 17 00:00:00 2001 From: Bertrand Benjamin Date: Sun, 18 Sep 2022 15:19:08 +0200 Subject: [PATCH] Core: add minted-* in gitignore --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 14431d6..c5297d2 100644 --- a/.gitignore +++ b/.gitignore @@ -19,6 +19,7 @@ **/*.md5 **/*.auxlock **/*.xdv +**/_minted* **/tmp/*