GitHub CreateEvent at 2014-03-03 22:52:57
Repository: dolfin
Actor: nschloe
Payload: ref: chris/xml-timer
ref_type: branch
master_branch: master
description: Live clone of https://bitbucket.org/fenics-project/dolfin
pusher_type: user