From 7424500e7bc46cb93544767bb19050457630d9ae Mon Sep 17 00:00:00 2001 From: Thomas Dehaeze Date: Fri, 5 Mar 2021 11:57:43 +0100 Subject: [PATCH] Update gitignore --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index e44150c..1d950ec 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,6 @@ auto/ *.tex +_minted* nohup.out