From 66ba475e448f0f16ae6dd06003d0f9c9575c0c04 Mon Sep 17 00:00:00 2001
From: Markus Wieczorek <markus.wieczorek@informatik.hu-berlin.de>
Date: Sat, 14 Dec 2019 15:42:25 +0100
Subject: [PATCH] Delete .gitignore

---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 .gitignore

diff --git a/.gitignore b/.gitignore
deleted file mode 100644
index e10e727..0000000
--- a/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-/.metadata/
-- 
GitLab