Skip to content

Move external to about Dune

Dominic Kempf requested to merge feature/move-external-to-about into master

at the same time rename to "Frameworks using Dune"

This fixes #25 (closed)

Merge request reports