diff --git a/.gitignore b/.gitignore index 922fe7a..5109ac2 100644 --- a/.gitignore +++ b/.gitignore @@ -12,7 +12,6 @@ *.glg *.glo *.gls -*.html *.idx *.ilg *.ind