From 2444aaca5e56f6d3a9c5e4c6e45449877e0b04e7 Mon Sep 17 00:00:00 2001 From: Kjeld Schouten Date: Thu, 30 Nov 2023 20:35:24 +0100 Subject: [PATCH] Delete tools/input directory Signed-off-by: Kjeld Schouten --- tools/input/.gitkeep | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 tools/input/.gitkeep diff --git a/tools/input/.gitkeep b/tools/input/.gitkeep deleted file mode 100644 index e69de29bb2d..00000000000