Thane ThomsonandGitHub a9a9e1ccf0 Update docs to reference v0.37 branch instead of main where applicable (#9337) ...

Signed-off-by: Thane Thomson <connect@thanethomson.com>

Signed-off-by: Thane Thomson <connect@thanethomson.com>

2022-08-30 22:50:13 -04:00

..

supervisor_001_draft.md

Update docs to reference v0.37 branch instead of main where applicable (#9337)

2022-08-30 22:50:13 -04:00

supervisor_001_draft.tla

spec: merge rust-spec (#252)

2021-03-01 08:54:08 +00:00

supervisor_002_draft.md

Update docs to reference v0.37 branch instead of main where applicable (#9337)

2022-08-30 22:50:13 -04:00