diff --git a/.gitignore b/.gitignore index 14d947298..ab68b2ade 100644 --- a/.gitignore +++ b/.gitignore @@ -18,6 +18,7 @@ *.log *.pdf *.pg +*.pgs *.toc *.tp *.vr