Contributor analytics
Commits to 71f0f8b3e1d1582b746bc5a6eb71f6d7cec10af4
Excluding merge commits. Limited to 6,000 commits. Commits
Michael Kohlhase
30 commits (m.kohlhase@jacobs-university.de)
Commits
Dennis Müller
25 commits (d.mueller@jacobs-university.de)
Commits
Thomas Koprucki
22 commits (thomas.koprucki@wias-berlin.de)
Commits
Michael Kohlhase
2 commits (kohlhase@kwarc.info)
Commits