Remove unused code (rational classes of perm groups)#886

Merged

olexandr-konovalov merged 1 commit intogap-system:masterfrom fingolfin:mh/cleanup

Aug 16, 2016

-579

Commits on Aug 16, 2016

Remove unused code (rational classes of perm groups)
fingolfin
committed