Contributor analytics
Commits to 404cd74c7a939e5e5e4bd53981b7b0feeccbf7fc
Excluding merge commits. Limited to 6,000 commits. Commits
Stefano Zacchiroli
50 commits (zack@upsilon.cc)
Commits
Antoine Lambert
14 commits (antoine.lambert@inria.fr)
Commits
Nicolas Dandrimont
7 commits (nicolas@dandrimont.eu)
Commits
Antoine R. Dumont (@ardumont)
6 commits (antoine.romain.dumont@gmail.com)
Commits
Antoine Pietri
3 commits (antoine.pietri1@gmail.com)
Commits