From 6f0f102a6ceb6bfc51072e17c6ac6aa7e607c1c8 Mon Sep 17 00:00:00 2001 From: Fernando Schauenburg Date: Fri, 15 Nov 2019 21:40:34 +0000 Subject: [PATCH] Remove unused 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 e69de29..0000000