{"push_id":1021148822,"size":1,"distinct_size":0,"ref":"refs/heads/dalcinl/fix-draw-save","head":"49c04938f39863466cdc6a3623db8e333e9909d4","before":"3af55cfd2b61b94abdefb0f737147977ec1bf30b","commits":[{"sha":"49c04938f39863466cdc6a3623db8e333e9909d4","author":{"email":"3bfc008915619b021ff2afcece0b7673e7f70ab0@gmail.com","name":"Lisandro Dalcin"},"message":"PetscDraw: Refactor API for saving images/movies\n\n* Now PetscDrawSetSave() handles saving images but not movies\n* Add PetscDrawSetSaveMovie() to handle saving movies\n* Add PetscDrawSaveMovie() to explicitly save the movie\n* Enable save options for any draw subtype","distinct":false,"url":"https://api.github.com/repos/live-clones/petsc/commits/49c04938f39863466cdc6a3623db8e333e9909d4"}]}