diff options
| author | bunnei <bunneidev@gmail.com> | 2017-07-18 13:26:57 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-18 13:26:57 -0400 |
| commit | 5621a65037b1d2a34bbc76a047f925800ecbd47e (patch) | |
| tree | 7e6dc8f07820ed34836fcd74b766553c78a31398 /.gitmodules | |
| parent | 35eee446c74b642b6b5fd54eeadb2d8062bc2139 (diff) | |
| parent | 32745ead7e501803c5eb27a1035c5f4bb88baf97 (diff) | |
Merge pull request #2833 from j-selby/single-header-json
Don't pull in entire JSON repo for single header file
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.gitmodules b/.gitmodules index 3f5bae2b0..db60706c9 100644 --- a/.gitmodules +++ b/.gitmodules @@ -31,6 +31,3 @@ [submodule "cpr"] path = externals/cpr url = https://github.com/whoshuu/cpr.git -[submodule "json"] - path = externals/json - url = https://github.com/nlohmann/json.git |