Fixed two major bugs in paxos.cc.
[invirt/third/libt4.git] / lang /
2013-09-30  Peter IannucciMore dependency check-ups
2013-09-27  Peter IannucciMore cleaning
2013-09-16  Peter IannucciMajor clean-ups. Migrating to C++11.
2013-09-15  Peter IannucciImported from 6.824 labs