{"shas":[["1eb4357ee911373b007439ef35818fd1b19ff41d","5ee0edb9e2229c0838f1959779f1949031de0123@timfreeman.org","latex and man names","Tim Freeman"]],"ref":"refs/heads/master","size":1,"head":"1eb4357ee911373b007439ef35818fd1b19ff41d","push_id":37285676}