Forked from
Core Modules / dune-common
Source project has a limited visibility.
-
Christoph Grüninger authored
Adjust code to reflect comment. (cherry picked from commit 82f31309) Signed-off-by:
Steffen Müthing <muething@dune-project.org>
Christoph Grüninger authoredAdjust code to reflect comment. (cherry picked from commit 82f31309) Signed-off-by:
Steffen Müthing <muething@dune-project.org>