diff --git a/.gitignore b/.gitignore index f27df4f..2b1e23b 100644 --- a/.gitignore +++ b/.gitignore @@ -5,7 +5,6 @@ generator *.sh .vimrc *.gch -Doxyfile html/ latex/ *.tgz