diff --git a/.gitignore b/.gitignore index aaecd3eb7db9ce41c4f1c097ac5645f4cf18b862..7d010fc70cc06290ae9defafa26bbba6327f8704 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,6 @@ -build/ .vscode/ +.aux/ +build/ +*.synctex.gz +*.synctex(busy)