Contributor analytics
Commits to master
Excluding merge commits. Limited to 6,000 commits. Commits
Dennis Müller
6 commits (d.mueller@kwarc.info)
Commits
Florian Rabe
5 commits (florian.rabe@gmail.com)
Commits
Michael Kohlhase
4 commits (michael.kohlhase@fau.de)
Commits
Katja Berčič
3 commits (katja.bercic@gmail.com)
Commits
Tom Wiesing
3 commits (tkw01536@gmail.com)
Commits