diff options
Diffstat (limited to '')
| -rw-r--r-- | .gitmodules | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index d3c7ace40..dd687fee8 100644 --- a/.gitmodules +++ b/.gitmodules @@ -9,7 +9,3 @@ url = https://github.com/davisking/dlib.git shallow = true ignore = dirty -[submodule "ml/json"] - path = ml/json - url = https://github.com/nlohmann/json.git - shallow = true |