Skip to content

[fix] issue with moving header files causing outdated dependency files in dune-py

Andreas Dedner requested to merge fix/install2sourcebuild into master

This can happen when switchen from an installed dune module to a source build

Merge request reports