diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-04-14 12:55:12 +0200 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-04-14 13:02:45 +0200 |
| commit | 629df017d74734e93e2b63a1bb4b7819a34a1c9f (patch) | |
| tree | 3c16b58c162a08b3ffda718aa183e2e42442aa6d /doc/concepts/alternative-mirrors.md | |
| parent | c7216ce1da69f3fdbd2e577113c0a15a7dd41130 (diff) | |
| download | justbuild-629df017d74734e93e2b63a1bb4b7819a34a1c9f.tar.gz | |
clean up markdown in tutorial and concepts
... and ensure that pandoc processes them correctly. In particular,
add an empty line around itemize environments.
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) |