diff --git a/3rdparty/json b/3rdparty/json new file mode 160000 index 0000000000..9cca280a4d --- /dev/null +++ b/3rdparty/json @@ -0,0 +1 @@ +Subproject commit 9cca280a4d0ccf0c08f47a99aa71d1b0e52f8d03