mirror of
https://github.com/tendermint/tendermint.git
synced 2026-06-10 00:03:04 +00:00
- in the makefile update `get_tools` was changed to just `tools` Signed-off-by: Marko Baricevic <marbar3778@yahoo.com>
- in the makefile update `get_tools` was changed to just `tools` Signed-off-by: Marko Baricevic <marbar3778@yahoo.com>