From cef8955d572636e313623e363aed6bc23b732e4f Mon Sep 17 00:00:00 2001 From: Klaus Weidenbach Date: Mon, 6 Oct 2014 23:03:58 +0200 Subject: We have no submodules, so no need for .gitmodules file. --- .gitmodules | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 .gitmodules (limited to '.gitmodules') diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index e69de29bb..000000000 -- cgit v1.2.3