Contributor analytics
Commits to 7e77bc421628cf7c7ea26939f832c69e46165a3d
Excluding merge commits. Limited to 6,000 commits. Commits
Reiner Jung
15 commits (rju@informatik.uni-kiel.de)
Commits
Vasco Grossmann
4 commits (vgr@informatik.uni-kiel.de)
Commits
Nils Christian Ehmke
4 commits (nie@informatik.uni-kiel.de)
Commits
Yannik Potdevin
1 commit (ypo@informatik.uni-kiel.de)
Commits
Vasco Grossmann
1 commit (vasco.grossmann@googlemail.com)
Commits