Skip to content
GitLab
Explore
Sign in
thalia
concrexit
Repository
concrexit
README.md
Find file
Blame
History
Permalink
Merge branch 'doc/coverage' into 'master'
· 67ba4eed
Joost Rijneveld
authored
Feb 12, 2017
Make code coverage build-specific See merge request
!357
67ba4eed