Closed fingolfin closed 4 months ago
Merging #130 (8c17bd5) into master (d6dcf87) will not change coverage. The diff coverage is
n/a
.
@@ Coverage Diff @@
## master #130 +/- ##
=======================================
Coverage 26.47% 26.47%
=======================================
Files 14 14
Lines 865 865
=======================================
Hits 229 229
Misses 636 636
GAP only provides it for backwards compatibility with old GAP versions. Since GAP 4.9 one should instead just call the gap binary directly.