From 6c0f68e5fa92bff5062c9e64c025d3717771feb0 Mon Sep 17 00:00:00 2001 From: Mikhail Ryzhov Date: Tue, 29 Aug 2023 16:34:34 +0200 Subject: [PATCH] reverted unused change --- thirdparty/json/nlohmann_json_schema_validator | 1 - 1 file changed, 1 deletion(-) delete mode 160000 thirdparty/json/nlohmann_json_schema_validator diff --git a/thirdparty/json/nlohmann_json_schema_validator b/thirdparty/json/nlohmann_json_schema_validator deleted file mode 160000 index 27fc1d09450..00000000000 --- a/thirdparty/json/nlohmann_json_schema_validator +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 27fc1d094503623dfe39365ba82581507524545c