From fba77596cee90916491015d88b987fa3a33cf4c0 Mon Sep 17 00:00:00 2001 From: Francisco Giordano Date: Fri, 4 Oct 2019 16:15:25 -0300 Subject: [PATCH] delete extraneous file --- git | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 git diff --git a/git b/git deleted file mode 100644 index e69de29bb..000000000