Skip to content
Snippets Groups Projects
Forked from Core Modules / dune-common
6165 commits behind the upstream repository.
user avatar
Markus Blatt authored
Now configure does not abort any more if boost is not there.
Therefore no patch is needed.


[[Imported from SVN: r6112]]
265907b8
History