Skip to content

Make sure links in README don't give 404 errors.

I had to use the installation FAQ because https://www.dune-project.org/installation is empty and hence unusable.

I guess this might needed for other modules, too.

Merge request reports

Loading