Skip to content
Snippets Groups Projects
Forked from Core Modules / dune-common
4561 commits behind the upstream repository.
Markus Blatt's avatar
Markus Blatt authored
If we do not do that the length of the list of modules and corresponding versions
will differ as empty values will be neglected when appending to a list
f2668441
History