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

Ensure consistent names for the Tits group 2F(4,2)' #19

Closed fingolfin closed 6 years ago

fingolfin commented 6 years ago

Fixes #17

codecov[bot] commented 6 years ago

Codecov Report

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

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

olexandr-konovalov commented 6 years ago

Thanks - I will merge and make a release then. Added this to https://github.com/gap-system/gap/issues/2804.