Skip to content
Snippets Groups Projects
Commit 53e00d0c authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

cleanup_gitignore

parent 077fed15
No related branches found
No related tags found
No related merge requests found
......@@ -3,7 +3,6 @@
*.tmp
errors
*~
*.sms
*.omdoc
*.pdf
*.errlog
......@@ -20,7 +19,6 @@ errors
*.log
*.toc
*.aux
localpaths.tex
auto
*.nav
*.snm
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment