diff --git a/.gitignore b/.gitignore index 349ab70..0bc1c1c 100644 --- a/.gitignore +++ b/.gitignore @@ -2,4 +2,6 @@ *.log *.*~ *.toc +*.dvi +