search

gap-packages / sotgrps

https://gap-packages.github.io/sotgrps/
GNU General Public License v2.0
2 stars 1 forks source link

Some random cleanup #39

Closed fingolfin closed 1 year ago

codecov[bot] commented 1 year ago

Codecov Report

Merging #39 (008d525) into master (017fcf9) will not change coverage. The diff coverage is n/a.

@@           Coverage Diff           @@
##           master      #39   +/-   ##
=======================================
  Coverage   96.56%   96.56%           
=======================================
  Files          21       21           
  Lines        7863     7863           
=======================================
  Hits         7593     7593           
  Misses        270      270
Impacted Files Coverage Δ
gap/p3q.gi 99.04% <ø> (ø)