From e9e03f11d3bf22ff49cf9aa7f7d9f80ce3b30d45 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Sun, 21 Aug 2016 23:41:01 -0500
Subject: [PATCH] not being used

---
 .gitmodules | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 .gitmodules

diff --git a/.gitmodules b/.gitmodules
deleted file mode 100644
index e69de29bb..000000000