diff --git a/.gitignore b/.gitignore index b0ca4f5..af431f5 100644 --- a/.gitignore +++ b/.gitignore @@ -5,3 +5,4 @@ Covers *.out *.synctex.gz *.toc +*.dvi