invirt/third/libt4.git
2013-09-16  Peter IannucciMajor clean-ups. Migrating to C++11.
2013-09-15  Alexander ChernyakhovskyBuild on wheezy, and presumably precise master
2013-09-15  Peter IannucciImported from 6.824 labs