Commit 4f3eb1ac authored by Ralf Jung's avatar Ralf Jung

Revert "Gitignore LaTeX temp files."

This reverts commit bc8e2d15.
We already ignore those in the tex folders. We don't want global ignores for them.
parent a3ffa476
Pipeline #21028 passed with stage
in 20 minutes and 52 seconds
......@@ -19,12 +19,3 @@ Makefile.coq
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment