From bd01d1b32c01f49b0a98f2904e624cb0b9a602b2 Mon Sep 17 00:00:00 2001
From: Nicolas Voirol <voirol.nicolas@gmail.com>
Date: Fri, 7 Oct 2016 15:18:45 +0200
Subject: [PATCH] Removed tip-benchmarks submodule

---
 .gitmodules | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100644 .gitmodules

diff --git a/.gitmodules b/.gitmodules
deleted file mode 100644
index a03a3d950..000000000
--- a/.gitmodules
+++ /dev/null
@@ -1,3 +0,0 @@
-[submodule "src/it/resources/tip-benchmarks"]
-	path = src/it/resources/tip-benchmarks
-	url = git@github.com:tip-org/benchmarks.git
-- 
GitLab