Skip to content

Collect coverage for all dirs, including LibGAP.jl#105

Merged
sebasguts merged 1 commit intooscar-system:masterfrom fingolfin:mh/LibGAP.jl-coverageOct 30, 2018
+1-2

Commits

Commits on Oct 30, 2018