From bd155c4067a764d35ab32f8d97c50251af517427 Mon Sep 17 00:00:00 2001
From: Amin Bandali <bandali@gnu.org>
Date: Fri, 13 Sep 2019 18:55:19 -0400
Subject: [PATCH] delete vestigial .gitmodules 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
-- 
2.20.1