mirrors/tendermint
1
0
Fork 0
mirror of https://github.com/tendermint/tendermint.git synced 2026-09-19 06:31:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'master' into develop

Browse Source
This commit is contained in:
Ethan Buchman
2018-07-10 09:46:31 -04:00
parent 4de9d42e4c ce824d0b70
commit 7c06a98b71
3 changed files with 23 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/index.rst
+1 -1
View File
@@ -8,7 +8,7 @@ Welcome to Tendermint!
This location for our documentation has been deprecated, please see:
- https://tendermint.com/docs
- https://tendermint.com/docs/
The last version built by Read The Docs will still be available at: