Skip to content

Change install directory of dune-localfunctions manual

Simon Praetorius requested to merge issue/empty-install-directory-doc-comm into master

Fixes copy-paste error of installing documentation target directory

closes #18 (closed)

Merge request reports