From 20bfbfef7b7892ec9a81079cb149a387919b26ed Mon Sep 17 00:00:00 2001 From: Suet-fei Li Date: Tue, 11 Apr 2023 19:19:21 +0000 Subject: [PATCH] remove json --- .gitmodules | 4 ---- json | 1 - 2 files changed, 5 deletions(-) delete mode 160000 json diff --git a/.gitmodules b/.gitmodules index 2840e8cf..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 "json"] - path = json - url = https://github.com/nlohmann/json - branch = v3.10.5 diff --git a/json b/json deleted file mode 160000 index 6af826d0..00000000 --- a/json +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 6af826d0bdb55e4b69e3ad817576745335f243ca