1 files changed, 1 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index 46fefef..47e0340 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,6 +9,7 @@
 *.pdf
 doc/out/
 doc/diagrams/*.png
+_minted-tfg/
 
 # src
 __pycache__/