Contributor analytics
Commits to c33e8ea7aac593eaf78e5afd7cc4fb58af8b3a7c
Excluding merge commits. Limited to 6,000 commits. Commits
Antoine Pietri
31 commits (antoine.pietri1@gmail.com)
Commits
Stefano Zacchiroli
5 commits (zack@upsilon.cc)
Commits
Antoine Lambert
3 commits (antoine.lambert@inria.fr)
Commits
David Douard
3 commits (david.douard@sdfa3.org)
Commits