Skip to content
Snippets Groups Projects
Forked from Core Modules / dune-common
6717 commits behind the upstream repository.
user avatar
Oliver Sander authored
we can scrap a large part of the documentation that described on how
to tweak the output of duneproject.

[[Imported from SVN: r5495]]
3fd72e38
History