Forked from
Core Modules / dune-common
Source project has a limited visibility.
-
Markus Blatt authored
This reverts commit eb045a4d. As it severly breaks using the make build system. See https://dune-project.org/flyspray/index.php?do=details&task_id=1572
Markus Blatt authoredThis reverts commit eb045a4d. As it severly breaks using the make build system. See https://dune-project.org/flyspray/index.php?do=details&task_id=1572