Skip to content

Generate dune-project

Have a configuration flag for dune-project generation. Suggested by @lafeychine to make project bootstrapping easier

Edited by Lennard Gäher