remove json

2025-09-13 09:52:56 +02:00
parent b0f2f1611f
commit 60f0d8b690
2 changed files with 0 additions and 4 deletions
@@ -1,3 +0,0 @@
-[submodule "json"]
-	path = json
-	url = https://github.com/nlohmann/json.git