From 973c96a0536f020e7d7a5b65fd1714e5f28215be Mon Sep 17 00:00:00 2001 From: Thanassis Tsiodras Date: Fri, 15 Jun 2018 08:53:58 +0200 Subject: [PATCH] Remove cruft --- Demo_ExternalLib/a | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 Demo_ExternalLib/a diff --git a/Demo_ExternalLib/a b/Demo_ExternalLib/a deleted file mode 100644 index e69de29..0000000 -- GitLab