From b287c827d23646b7a483727d09a76e079fd37fa0 Mon Sep 17 00:00:00 2001 From: William JCM Date: Wed, 30 Mar 2022 15:18:21 +0200 Subject: [PATCH] Remove json.hpp. --- .gitmodules | 4 ---- third-party/json | 1 - 2 files changed, 5 deletions(-) delete mode 160000 third-party/json diff --git a/.gitmodules b/.gitmodules index b7b534a..fb0120f 100644 --- a/.gitmodules +++ b/.gitmodules @@ -30,7 +30,3 @@ path = third-party/cpr url = https://github.com/whoshuu/cpr branch = master -[submodule "json.hpp"] - path = third-party/json - url = https://github.com/nlohmann/json - branch = master diff --git a/third-party/json b/third-party/json deleted file mode 160000 index 626e7d6..0000000 --- a/third-party/json +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 626e7d61e44dee32887126c8f437dd077dec09cf