docs: pull from tools' master branch
This commit is contained in:
parent
044fe56b43
commit
881d2ce31e
|
@ -172,7 +172,7 @@ texinfo_documents = [
|
|||
]
|
||||
|
||||
repo = "https://raw.githubusercontent.com/tendermint/tools/"
|
||||
branch = "cleanup-and-move-docs"
|
||||
branch = "master"
|
||||
|
||||
tools = "./tools"
|
||||
assets = tools + "/assets"
|
||||
|
|
Loading…
Reference in New Issue