Contributor analytics
Commits to 6b922ed9c2ac388227b94fff6011adf70f29ea39
Excluding merge commits. Limited to 6,000 commits. Commits
Felipe Cerqueira
239 commits (felipec@mpi-sws.org)
Commits
Felix Stutz
7 commits (fstutz@mpi-sws.org)
Commits