From 6feec674b8d200c677d8639f8e0b146cb43b07cd Mon Sep 17 00:00:00 2001
From: Yannik Bretschneider <yannik.bretschneider@uni-ulm.de>
Date: Thu, 29 Apr 2021 20:57:27 +0200
Subject: [PATCH] fix: Re-added gitignore

---
 .idea/.gitignore | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 .idea/.gitignore

diff --git a/.idea/.gitignore b/.idea/.gitignore
new file mode 100644
index 0000000..e5968a1
--- /dev/null
+++ b/.idea/.gitignore
@@ -0,0 +1,13 @@
+# Default ignored files
+/shelf/
+/workspace.xml
+*.class
+.gradle
+/build/
+!gradle-wrapper.jar
+
+# Cache of project
+.gradletasknamecache
+
+# # Work around https://youtrack.jetbrains.com/issue/IDEA-116898
+# gradle/wrapper/gradle-wrapper.properties