update gitignore

This commit is contained in:
Maximilian Keßler 2022-01-23 01:30:57 +01:00
parent 5bf0c39cc7
commit ffff696fa3

1
doc/.gitignore vendored
View file

@ -12,3 +12,4 @@ wip/proof/.skip
*.glo *.glo
*.hd *.hd
*.toc *.toc
*.sty