From a8328204f73113e7a6996b74955080550c07f31a Mon Sep 17 00:00:00 2001
From: SJost <jost@tcs.ifi.lmu.de>
Date: Tue, 21 Aug 2018 09:02:36 +0200
Subject: [PATCH] tags added to .gitignore

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

diff --git a/.gitignore b/.gitignore
index 7f6bcdce0..c37cbe326 100644
--- a/.gitignore
+++ b/.gitignore
@@ -31,3 +31,4 @@ src/Handler/Course.SnapCustom.hs
 *.orig
 .stack-work-*
 .directory
+tags