From edf7204c7d74f0a74ed6928cfe61693544c8083b Mon Sep 17 00:00:00 2001 From: Suet-fei Li Date: Wed, 12 Apr 2023 22:43:04 +0000 Subject: [PATCH] Fix json path --- .gitmodules | 4 ---- third_party/json | 1 - 2 files changed, 5 deletions(-) delete mode 160000 third_party/json diff --git a/.gitmodules b/.gitmodules index b3e42f81..c14bb9c5 100644 --- a/.gitmodules +++ b/.gitmodules @@ -33,7 +33,3 @@ [submodule "third_party/mbedtls"] path = third_party/mbedtls url = https://github.com/ARMmbed/mbedtls -[submodule "third_party/json"] - 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 bc889afb..00000000 --- a/third_party/json +++ /dev/null @@ -1 +0,0 @@ -Subproject commit bc889afb4c5bf1c0d8ee29ef35eaaf4c8bef8a5d