mirrors/tendermint
1
0
Fork 0
mirror of https://github.com/tendermint/tendermint.git synced 2026-01-03 11:45:18 +00:00
Code Issues Packages Projects Releases Wiki Activity

get_tools = tools (#3988)

Browse Source 
- in the makefile update `get_tools` was changed to just `tools`

Signed-off-by: Marko Baricevic <marbar3778@yahoo.com>
This commit is contained in:
Marko
2019-09-16 10:46:10 +02:00
committed by GitHub
parent 21d46dea93
commit 522a849ba9
16 changed files with 17 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
docs/introduction/install.md
View File

@@ -28,7 +28,7 @@ cd tendermint
### Get Tools & Dependencies
```
make get_tools
make tools
```
### Compile