Skip to content

Revert "Merge branch 'bugfix/define-IsStandard-for-ADOLC' into 'master'"

Ansgar Burchardt requested to merge revert-923a427f into master

IsStandard was removed from dune-common.

This reverts merge request !30 (merged)

Merge request reports

Loading