addressing issue #2646: Unused functions in ctbl.gi#2681

Merged

fingolfin merged 1 commit intogap-system:masterfrom ThomasBreuer:TB_unused_in_ctbl.gi

Aug 14, 2018

+118-104

Commits on Aug 11, 2018

addressing issue gap-system#2646 : Unused functions in ctbl.gi

ThomasBreuer
authored and
fingolfin
committed