Contributor analytics
Commits to aa5c92f91ce38ef714060037f28f38abf23ebc70
Excluding merge commits. Limited to 6,000 commits. Commits
Thimo Neubauer
12 commits (thimo@dune-project.org)
Commits
Christian Engwer
2 commits (christi@dune-project.org)
Commits
Peter Bastian
1 commit (peter@dune-project.org)
Commits
git-bot
1 commit (git@dune-project.org)
Commits