Skip to content

Remove dependency to deprecated code

Remove code for Dune 2.7 and 2.8

This prevent compilation errors once core/dune-common!1214 (merged) get merged

Edited by Christoph Grüninger

Merge request reports

Loading