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	…
src	Add leader rotation links	2018-11-28 18:08:05 -08:00
book.toml	…
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