Files

schema

and

Remove tools/, install schematyper on demand

Sep 13, 2022

484c148 · Sep 13, 2022

Name		Name	Last commit message	Last commit date
parent directory ..
Makefile		Makefile	Schema: introduce shared schema	Jul 21, 2021
generate-schema.sh		generate-schema.sh	Remove `tools/`, install schematyper on demand	Sep 13, 2022
v1.json		v1.json	Move the schema/ package to the toplevel	Sep 9, 2022