diff --git a/.gitignore b/.gitignore index 1fcd184b9f9d59d88f721779be5c83f2f0ef476f..8cc7ae32c50c7328a3c10e899dd93e71b8155350 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ **.pdf **.log **.aux +**.dvi