mirror of
https://github.com/fluencelabs/tendermint
synced 2025-04-24 22:32:15 +00:00
- in the makefile update `get_tools` was changed to just `tools` Signed-off-by: Marko Baricevic <marbar3778@yahoo.com>
tools
Tools for working with Tendermint and associated technologies. Documentation for these tools can be found online in the Tendermint tools documentation.