From ea4cfd769c92e18dc912fb64d58a68b8f97149b9 Mon Sep 17 00:00:00 2001 From: Dario Date: Thu, 30 Jan 2025 21:22:27 -0300 Subject: [PATCH] Get rid of submodule for curl. --- .gitmodules | 3 --- 1 file changed, 3 deletions(-) diff --git a/.gitmodules b/.gitmodules index d7387085..dce7e560 100644 --- a/.gitmodules +++ b/.gitmodules @@ -64,6 +64,3 @@ [submodule "thirdparty/json"] path = thirdparty/json url = https://github.com/nlohmann/json -[submodule "thirdparty/curl"] - path = thirdparty/curl - url = https://github.com/curl/curl