mrshanahan/multi-paxos — pull request #3 by branwall (2014-06-06 04:37:12+00:00)
Title: Rename README.md to README.txt

That's how Borja asked for it.. probably doesn't matter much.