diff --git a/.gitignore b/.gitignore index f108ac57776d030f5c7af04ab223fcc6d2935840..ab7618cd38bdd60a5950878f00bff825ef8a1182 100644 --- a/.gitignore +++ b/.gitignore @@ -14,3 +14,5 @@ *.log *.fls + +*.dvi