Mentions légales du service

Skip to content

remove a few weird interfaces in polyselect/auxiliary

Emmanuel Thomé requested to merge ropt-use-cado-poly-please into master

This whole layer meant to sidestep the cado_poly type is just absolutely awful, and must go.

Merge request reports