{"push_id":1012811534,"size":1,"distinct_size":1,"ref":"refs/heads/OMVis.mf","head":"51d2b8bdb02ef6d5ef1704be121fc1693ddd2b2a","before":"4f192b783c681e109881a88ae8054a47f5b32328","commits":[{"sha":"51d2b8bdb02ef6d5ef1704be121fc1693ddd2b2a","author":{"email":"e7ae5b614627f91c744970dc542996295e8fcf20@tu-dresden.de","name":"mflehmig"},"message":"Merged function to control time slider into one general function.","distinct":true,"url":"https://api.github.com/repos/vwaurich/OMVis/commits/51d2b8bdb02ef6d5ef1704be121fc1693ddd2b2a"}]}