Remove mdlp submodule

2024-11-20 20:15:49 +01:00
parent cb949ac7e5
commit 9a323cd7a3
2 changed files with 0 additions and 6 deletions
--- 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