From f8703e36c7ca6de026fb12411f4c971117029056 Mon Sep 17 00:00:00 2001
From: Julian Rother <julianr@fsmpi.rwth-aachen.de>
Date: Thu, 4 Oct 2018 22:50:59 +0200
Subject: [PATCH] Delete .gitkeep

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

diff --git a/Check/.gitkeep b/Check/.gitkeep
deleted file mode 100644
index e69de29..0000000
-- 
GitLab