ExternalVendorCode/corda
1
0
Fork 0
mirror of https://github.com/corda/corda.git synced 2025-05-10 20:43:05 +00:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity
12,084 Commits 105 Branches 407 Tags
Commit Graph

4 Commits

Author SHA1 Message Date
Mike Hearn
f29bbb6b16 Docs: Docs: switch from ReCommonMark to m2r, as RCM is not really maintained and is buggy. 
Tidy up presentation of HA design doc.

Misc markup fixes throughout, as revealed by m2r.
 2018-05-15 16:59:35 +02:00
Mike Hearn
3f44910a2b Docs: use toctree to link design decisions into site. Update float design doc to fit with docsite. 2018-05-15 16:59:35 +02:00
Mike Hearn
1895872307 Docs: improve rendering of "failure detection and master election" 2018-05-15 16:59:35 +02:00
Mike Hearn
7b6284c504 Docs: add design doc "failure detection and master election" 2018-05-15 16:59:35 +02:00