Skip to content

Improve tracking of InstallMethod and DeclareOperation#2422

Merged
fingolfin merged 1 commit intogap-system:masterfrom fingolfin:mh/better-InstallMethod-trackingMay 2, 2018

Commits

Commits on May 1, 2018