diff --git a/.gitignore b/.gitignore index 004eee6035bd026acebd2e1789cde4d1a00a22ed..12b5b8fbd9e8e35b9fcf2ccf99adbfac8f728342 100644 --- a/.gitignore +++ b/.gitignore @@ -3,7 +3,6 @@ *.tmp errors *~ -*.sms *.omdoc *.pdf *.errlog @@ -20,7 +19,6 @@ errors *.log *.toc *.aux -localpaths.tex auto *.nav *.snm