mirrors/tendermint
1
0
Fork 0
mirror of https://github.com/tendermint/tendermint.git synced 2026-02-03 10:32:05 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
main_backup
tendermint/spec/light-client/supervisor
History
Jacob Gadikian a9feb1c023 markdownlint (#9834) 
Co-authored-by: Sergio Mena <sergio@informal.systems>
2022-12-22 01:52:21 +01:00
..
supervisor_001_draft.md
Update to markdown links (#9384)
2022-09-08 10:31:35 +02:00
supervisor_001_draft.tla
spec: merge rust-spec (#252)
2021-03-01 08:54:08 +00:00
supervisor_002_draft.md
markdownlint (#9834)
2022-12-22 01:52:21 +01:00