From 1e40d59bd1e37c7ab7ec9472f9ce8acd80a1aebb Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 9 Nov 2021 19:13:36 -0500
Subject: [PATCH] .gitignore

---
 tex/.gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tex/.gitignore b/tex/.gitignore
index 5cf7408fa..f389e1adb 100644
--- a/tex/.gitignore
+++ b/tex/.gitignore
@@ -14,3 +14,4 @@
 *.fls
 _*_.tex
 auto/*.el
+*.rubbercache
-- 
GitLab