diff --git a/.gitignore b/.gitignore index 2b1e23b..aedd86f 100644 --- a/.gitignore +++ b/.gitignore @@ -8,4 +8,3 @@ generator html/ latex/ *.tgz -*.pdf