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