diff options
Diffstat (limited to 'doc/concepts/alternative-mirrors.md')
| -rw-r--r-- | doc/concepts/alternative-mirrors.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/concepts/alternative-mirrors.md b/doc/concepts/alternative-mirrors.md index 4e934665..dc4579c7 100644 --- a/doc/concepts/alternative-mirrors.md +++ b/doc/concepts/alternative-mirrors.md @@ -49,6 +49,7 @@ has access to the respective project. In order to avoid polluting a multi-repository specification with the URLs of such restricted mirrors, the `.just-local` file was extended to support additional keys in its JSON object. + - For the optional key `"local mirrors"`, if given, a JSON object is specified that maps primary URLs to a list of local (non-public) mirrors. Those mirrors are always tried first (in the given order) |