Support `{prefix}` and `{lowerprefix}` markers in `config.json` `dl` key#8267

Merged

bors merged 2 commits into

rust-lang:masterfrom

drmikehenry:prefix

Jun 8, 2020

Commits on May 22, 2020

Support `{prefix}` and `{lowerprefix}` markers in `config.json` `dl` key.
drmikehenry
committed

Commits on May 28, 2020

Improve the wording of `dl` documentation.
drmikehenry
committed