Skip to content

Added JSON schema for v.1.1#42

Open
anotherpit wants to merge 1 commit into
edemaine:mainfrom
anotherpit:add-json-schema
Open

Added JSON schema for v.1.1#42
anotherpit wants to merge 1 commit into
edemaine:mainfrom
anotherpit:add-json-schema

Commits

Commits on Oct 16, 2022