From d6c057e8851f626d1905bf7ae83c66019e6f9327 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Sat, 15 Feb 2014 12:12:53 +0100
Subject: [PATCH] more ignorance

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

diff --git a/.gitignore b/.gitignore
index bbaaa01..c624410 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
+auto
 *.acn
 *.acr
 *.alg
@@ -30,3 +31,9 @@
 *.vrb
 *.xdy
 *.tdo
+*.run.xml
+*.pdata
+*-blx.bib
+*.deliverables
+*.delivs
+*.bcf