diff --git a/.gitignore b/.gitignore index d380d5d..557b897 100644 --- a/.gitignore +++ b/.gitignore @@ -23,6 +23,7 @@ *.nav *.nlo *.out +*.pdf *.pdfsync *.ps *.snm