diff --git a/.gitignore b/.gitignore index 94e0091..1a5b025 100644 --- a/.gitignore +++ b/.gitignore @@ -15,3 +15,4 @@ *.vrb build-messages-*.txt plans_de_formation.tar.gz +_minted-*/