gap-packages / primgrp

GAP Primitive Groups Library

https://gap-packages.github.io/primgrp/

GNU General Public License v2.0

2 stars 5 forks source link

Remove cruft from PackageInfo.g #20

Closed fingolfin closed 6 years ago

codecov[bot] commented 6 years ago

Codecov Report

Merging #20 into master will not change coverage. The diff coverage is n/a.

@@           Coverage Diff           @@
##           master      #20   +/-   ##
=======================================
  Coverage   54.13%   54.13%           
=======================================
  Files           2        2           
  Lines         665      665           
=======================================
  Hits          360      360           
  Misses        305      305