Forked from
Core Modules / dune-common
Source project has a limited visibility.
-
Christoph Grüninger authored
The naming scheme is kind of broken. (cherry picked from commit 28c81740) Signed-off-by:
Steffen Müthing <muething@dune-project.org>
Christoph Grüninger authoredThe naming scheme is kind of broken. (cherry picked from commit 28c81740) Signed-off-by:
Steffen Müthing <muething@dune-project.org>