From 4f3eb1ac37cae62df0bcb83a785177052671a9dd Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 7 Nov 2019 17:22:53 +0100
Subject: [PATCH] Revert "Gitignore LaTeX temp files."

This reverts commit bc8e2d15e1c9a5d6b5abfeb3b900147fef0e34a8.
We already ignore those in the tex folders. We don't want global ignores for them.
---
 .gitignore | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/.gitignore b/.gitignore
index 6f04785d8..5c8d7df69 100644
--- a/.gitignore
+++ b/.gitignore
@@ -19,12 +19,3 @@ Makefile.coq
 Makefile.coq.conf
 *.crashcoqide
 .env
-*.bbl
-*.bcf
-*.blg
-*.log
-*.out
-*.pdf
-*.run.xml
-*.toc
-
-- 
GitLab