Skip to content
Snippets Groups Projects
Forked from Core Modules / dune-common
Source project has a limited visibility.
user avatar
Markus Blatt authored
Now it can be used if the remote index lists where setup by hand.

[[Imported from SVN: r3556]]
91914a42
History
Name Last commit Last update