raftconsensus/raftconsensus.github.io — pull request #14 by willemt (2014-05-28 06:44:45+00:00)
Title: Renaming willemt/CRaft -> willemt/raft

Renaming willemt/CRaft -> willemt/raft