diff --git a/.gitignore b/.gitignore index cc98fadde19699577f4de864812528a226be0256..4b34d30b59be7b6b9d412ebc1dd72fa78b5b7e90 100644 --- a/.gitignore +++ b/.gitignore @@ -3,3 +3,4 @@ *.log *.gz *.backup +*.pdf