From 5c3471dc40b4db9b09764fbd55f34d5050d6178c Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Mon, 26 Oct 2015 16:01:15 +0100
Subject: [PATCH] auto

---
 .gitignore | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index ecf7867..7f1600a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
 omdoc-semantics/macros
-omdoc-semantics/tikz
\ No newline at end of file
+omdoc-semantics/tikz
+auto
-- 
GitLab