GitHub PushEvent at 2014-08-22 21:28:27
Repository: thesis
Actor: byorgey
Payload: {"shas":[["3c4e37b3e32875eb5a4f5715275929980694e079","4bec4a72971766cbb1400079ae28c198e4423a64@gmail.com","some fixes","Brent Yorgey",true],["b16a777d88ca300c9aee9b6f4283076743fdfc1d","4bec4a72971766cbb1400079ae28c198e4423a64@gmail.com","mention \\Lab and \\Str in metavariable section\n\ncloses #11.","Brent Yorgey",true]],"size":2,"ref":"refs/heads/master","head":"b16a777d88ca300c9aee9b6f4283076743fdfc1d"}