Contributor analytics
Commits to a07c0c2ab9209066c596186f8e76bc9899954961
Excluding merge commits. Limited to 6,000 commits. Commits
Robbert Krebbers
152 commits (mail@robbertkrebbers.nl)
Commits
jihgfee
97 commits (jkas@itu.dk)
Commits
jihgfee
64 commits (jihgfee@gmail.com)
Commits
Daniël Louwrink
7 commits (daniel.louwrink@gmail.com)
Commits
Ralf Jung
7 commits (post@ralfj.de)
Commits
Robbert
2 commits (gitlab-sws@robbertkrebbers.nl)
Commits