GitHub PushEvent at 2014-09-30 16:52:21
Repository: casadi
Actor: ghorn
Payload: {"shas":[["58e7ff38f676271dc7f767ac14383631d832442d","cd527e4306d22d4ff5d28064ca3119e807addf1e@gmail.com","add most of the snopt options","Greg Horn",true]],"size":1,"ref":"refs/heads/develop","head":"58e7ff38f676271dc7f767ac14383631d832442d"}