Core: add minted-* in gitignore

2022-09-18 15:19:08 +02:00 · 2022-09-18 15:19:08 +02:00 · 93eb94b24a
commit 93eb94b24a
parent e79319a5b0
1 changed files with 1 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -19,6 +19,7 @@
 **/*.md5
 **/*.auxlock
 **/*.xdv
+**/_minted*

 **/tmp/*