Forked from
Core Modules / dune-common
Source project has a limited visibility.
-
Christoph Grüninger authored
BOOST_FOUND seems to be no longer known, use HAVE_DUNE_BOOST instead. (cherry picked from commit dfeeea79) Signed-off-by:
Carsten Gräser <graeser@dune-project.org>
Christoph Grüninger authoredBOOST_FOUND seems to be no longer known, use HAVE_DUNE_BOOST instead. (cherry picked from commit dfeeea79) Signed-off-by:
Carsten Gräser <graeser@dune-project.org>