From 4d7e427d7a5acadf16f4138cbe71f2ded8d13456 Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <jfiat@eiffel.com>
Date: Wed, 20 Jun 2012 09:56:45 +0200
Subject: [PATCH] removed git submodule for contrib/ise_library/cURL  (replaced
 by git subtree merged)

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

diff --git a/.gitmodules b/.gitmodules
index e6bec3c7..e69de29b 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +0,0 @@
-[submodule "contrib/ise_library/cURL"]
-	path = contrib/ise_library/cURL
-	url = https://github.com/EiffelSoftware/mirror-Eiffel-cURL.git