diff --git a/.gitignore b/.gitignore index d735530af29ac5534206db7ae8704efa0fe6ddf7..ef6694446623963732d99eb5eb2984e935bf4b22 100644 --- a/.gitignore +++ b/.gitignore @@ -2,3 +2,5 @@ *.synctex.gz *.synctex(busy) *.log + +/*.pdf