diff --git a/.gitignore b/.gitignore index 6131d2a3150b41962b615e5c44d2564125a3cdab..d0da8847d2f2e44b82811e2d300b1e6e3175683c 100644 --- a/.gitignore +++ b/.gitignore @@ -14,6 +14,7 @@ *.toc *.run.xml *.synctex.gz +*.xdv # PDF files *.pdf