Use cURL so http requests don't get cached

2022-01-31 23:45:03 +01:00
parent 5865f427de
commit 1775a13378
5 changed files with 160 additions and 29 deletions
--- a/.gitmodules
+++ b/.gitmodules
@ -43,3 +43,6 @@
 [submodule "deps/imgui"]
 	path = deps/imgui
 	url = https://github.com/fedddddd/imgui.git
+[submodule "deps/curl"]
+	path = deps/curl
+	url = https://github.com/curl/curl.git