1 2 3 4 5 6
[dune-localfunctions] source = "gitlab" gitlab = "core/dune-localfunctions" host = "gitlab.dune-project.org" use_max_tag = true prefix = "v"