diff --git a/.gitmodules b/.gitmodules index e0ca40e..4592070 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,8 +1,3 @@ -[submodule "lib/mdlp"] - path = lib/mdlp - url = https://github.com/rmontanana/mdlp - main = main - update = merge [submodule "lib/json"] path = lib/json url = https://github.com/nlohmann/json.git diff --git a/lib/mdlp b/lib/mdlp deleted file mode 160000 index 2d8b949..0000000 --- a/lib/mdlp +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 2d8b949abda93da41352d9d83569658e8df75567