gap-packages / sotgrps

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

Remove obsolete test file #48

Closed fingolfin closed 1 year ago

fingolfin commented 1 year ago

Unused. Besides, the use of ( and ) in a filename may cause trouble on some system.

codecov[bot] commented 1 year ago

Codecov Report

Merging #48 (6edd8ce) into master (6d91314) will decrease coverage by 0.05%. The diff coverage is n/a.

@@            Coverage Diff             @@
##           master      #48      +/-   ##
==========================================
- Coverage   98.09%   98.05%   -0.05%     
==========================================
  Files          21       21              
  Lines        7701     7694       -7     
==========================================
- Hits         7554     7544      -10     
- Misses        147      150       +3     

see 3 files with indirect coverage changes