ExternalVendorCode/corda
1
0
Fork 0
mirror of https://github.com/corda/corda.git synced 2024-12-25 15:41:10 +00:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity
6,490 Commits 91 Branches 405 Tags 354 MiB
e99fa975f7
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