Skip to content
GitLab

equip frac_agree with support for dfrac

Merged Ralf Jung requested to merge ralf/dfrac_agree into master

This renames it to dfrac_agree, but keeps the old to_frac_agree for users that do not need dfrac.