diff --git a/.gitignore b/.gitignore index 74b7efd8cea461b80d2ddb53dbeaa8e2e151550d..6f30d36502a9a5fac54629074695bb02c3629b54 100644 --- a/.gitignore +++ b/.gitignore @@ -9,3 +9,5 @@ auto *.out *.run.xml *.synctex.gz +*.pdf +*.ps