Contributor analytics
Commits to 92d1cf078ca0bfbdda35b1b89e47392d0cd554a0
Excluding merge commits. Limited to 6,000 commits. Commits
Felipe Cerqueira
275 commits (felipec@mpi-sws.org)
Commits
Felix Stutz
8 commits (fstutz@mpi-sws.org)
Commits