{"shas":[["9b5a934538f42bf748aee16c910706571a4bb44f","68b1b81bb9e63e7720f96ba2057b2c3e8238725d@gmail.com","Used gnu indent to perform indentation\n\nUsed a modified version of the linux style with indent blocks as 4\nspaces, and using only spaces, no tabs. Please keep the style\nconsistent if you make further changes. I will be reformatting\ncomments to a single style soon.","Jacob Keller"]],"ref":"refs/heads/master","size":1,"head":"9b5a934538f42bf748aee16c910706571a4bb44f","push_id":37732593}