From f7ee331b95cb7a16cbabdb6ea20df5c31f3456e7 Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Mon, 15 Oct 2018 10:52:10 +0200
Subject: [PATCH] remove empty file

---
 .gitmodules | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 .gitmodules

diff --git a/.gitmodules b/.gitmodules
deleted file mode 100644
index e69de29bb..000000000
-- 
GitLab