Skip to content

A new menu item for bloody beginners

Peter Bastian requested to merge beginners-resources-feature into master

This change gives a new item 'Beginners Resources' in the Documentation menu. It describes in more detail how to install Dune from binary packages and from source (this is via a shell script).

Merge request reports