From 78239f5d21c12be903b624464d90cd61372d29ab Mon Sep 17 00:00:00 2001
From: Thorsten Vitt <thorsten.vitt@uni-wuerzburg.de>
Date: Fri, 4 Oct 2019 17:31:53 +0200
Subject: [PATCH] ignore attic

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

diff --git a/.gitignore b/.gitignore
index 869b34e..dcc4c61 100644
--- a/.gitignore
+++ b/.gitignore
@@ -193,3 +193,4 @@ gradle-app.setting
 
 # # Work around https://youtrack.jetbrains.com/issue/IDEA-116898
 # gradle/wrapper/gradle-wrapper.properties
+attic