From f5d658d6af86f83b4aaae58fedb6755a0d419e1d Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Mon, 26 Oct 2015 16:05:51 +0100
Subject: [PATCH] merge

---
 .gitignore | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.gitignore b/.gitignore
index c2246ae..e73cbc8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,10 @@
 auto
 *.log
 *.aux
+*.bbl
+*.blg
+*.out
+*.thm
+*.synctex.gz
+*.run.xml
 
-- 
GitLab