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