Contributor analytics
Commits to 89a8d7d0f7a27a9ed083cc03d73044db3a81cbe0
Excluding merge commits. Limited to 6,000 commits. Commits
Felipe Cerqueira
386 commits (felipec@mpi-sws.org)
Commits
Felix Stutz
8 commits (fstutz@mpi-sws.org)
Commits
Björn Brandenburg
6 commits (bbb@mpi-sws.org)
Commits