Greg Fitzgerald 99445f475b Add leader rotation links ...

Avoid the term "leader selection" here. More precise terms are
"leader scheduling", "leader rotation", and "fork selection."

2018-11-28 18:08:05 -08:00

..

art

Move markdown book out of src/

2018-11-26 09:44:19 -08:00

src

Add leader rotation links

2018-11-28 18:08:05 -08:00

book.toml

Move markdown book out of src/

2018-11-26 09:44:19 -08:00

build.sh

De-dup ci book build

2018-11-26 18:38:57 -08:00

makefile

Generate book images via Make

2018-11-26 09:44:19 -08:00