Skip to content

remove coverage from main cabal.project, add to dedicated file#7421

Merged
fgaz merged 1 commit intomasterfrom fix/remove-coverage-in-project-fileJun 2, 2021

Commits

Commits on Jun 2, 2021