From 4d3743f3f79a1127208ce885ae501991ec3e704e Mon Sep 17 00:00:00 2001 From: Pascal Vizeli Date: Sat, 17 Mar 2018 19:08:52 +0100 Subject: [PATCH] Delete .gitmodules (#13295) --- .gitmodules | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 .gitmodules diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index e69de29bb2d..00000000000