mirror of
https://github.com/tendermint/tendermint.git
synced 2026-07-20 06:52:30 +00:00
76cccfaabd
- remove revision cmd - rename ensure_tools to tools