Skip to content

Improve README.md

Oliver Sander requested to merge update-readme into master

In particular, this imports a few bits from the old dune-functions page in dune-website. In the future, the website will show the README.md file directly.

Merge request reports