mirror of
https://github.com/tendermint/tendermint.git
synced 2026-07-21 15:32:26 +00:00
bdd50c5f37
* fix links in docs/spec etc, closes #1261 * spec: remove ref to non-existant repo * codecov you weirdo