diff --git a/.gitignore b/.gitignore index 1b639ad..389a456 100644 --- a/.gitignore +++ b/.gitignore @@ -149,4 +149,6 @@ backup/ sources/ extra/ html_graphs/ + +# ignore the tex folder tex/