Contributor analytics
Commits to 92e240e868d4877287b162b4115ea449c552daba
Excluding merge commits. Limited to 6,000 commits. Commits
Antoine R. Dumont (@ardumont)
86 commits (antoine.romain.dumont@gmail.com)
Commits
Nicolas Dandrimont
62 commits (nicolas@dandrimont.eu)
Commits
Stefano Zacchiroli
25 commits (zack@upsilon.cc)
Commits
Antoine Lambert
4 commits (antoine.lambert@inria.fr)
Commits
Antoine Pietri
1 commit (antoine.pietri1@gmail.com)
Commits
Antoine Pietri
1 commit (antoine.pietri@lrde.epita.fr)
Commits