History

March 8, 2017 – July 18, 2017

Commits to c03949dbe397399b71d5bedc2afd231d5c0b27c1, excluding merge commits. Limited to 6,000 commits.

Mar 12Mar 19Mar 26Apr 2Apr 9Apr 16Apr 23Apr 30May 7May 14May 21May 28Jun 4Jun 11Jun 18Jun 25Jul 2Jul 9Jul 160.00.51.01.52.0
  1. Peter Weidenbach

    weidenba@cs.uni-bonn.de

    5 commitsAprilMayJuneJuly0.00.51.01.52.0
  2. Timm Behner

    behner@cs.uni-bonn.de

    3 commitsAprilMayJuneJuly0.00.51.01.52.0
  3. Fabian Rump

    rumpf@cs.uni-bonn.de

    1 commitAprilMayJuneJuly0.00.51.01.52.0