From ee54d9fd43b45947ee74c99282b360cd27a8f1cb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thomas=20P=C3=B6chtrager?=
 <tpoechtrager@users.noreply.github.com>
Date: Thu, 7 Mar 2019 15:04:49 +0100
Subject: [PATCH] Remove unneeded file

---
 tools/x | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 tools/x

diff --git a/tools/x b/tools/x
deleted file mode 100644
index e69de29..0000000