diff --git a/.gitignore b/.gitignore index f62778f..97b051f 100644 --- a/.gitignore +++ b/.gitignore @@ -7,6 +7,11 @@ tests/ *.dvi *(copy)* +*.pdf +build/* + + + <<<<<<< HEAD =======