Closed Zelzahn closed 3 months ago
Fixes #13
The "$id" will probably need to be changed once this PR is merged (https://json-schema.org/understanding-json-schema/basics#declaring-a-unique-identifier), but it isn't that important.
"$id"
Fixes #13
The
"$id"
will probably need to be changed once this PR is merged (https://json-schema.org/understanding-json-schema/basics#declaring-a-unique-identifier), but it isn't that important.