Remove Json module #77
Description
To prevent it from getting out of sync with the version in the standard modules. See tlaplus/tlaplus#764 (comment).
{{ message }}
To prevent it from getting out of sync with the version in the standard modules. See tlaplus/tlaplus#764 (comment).