Contributor analytics
Commits to 86f1cf3d7235bb1a3aa26f64df6d72b1a80de9ae
Excluding merge commits. Limited to 6,000 commits. Commits
Robbert Krebbers
96 commits (mail@robbertkrebbers.nl)
Commits
jihgfee
96 commits (jkas@itu.dk)
Commits
Jonas
13 commits (jihgfee@gmail.com)
Commits
Ralf Jung
4 commits (post@ralfj.de)
Commits
Robbert
2 commits (gitlab-sws@robbertkrebbers.nl)
Commits