config: update repo download config options

This was renamed to just "repo" a while ago but the docs were missed.

Change-Id: Id389374f886d37e69bd99736ab0a17087ef5bae9
1 file changed
tree: 9e2931b9cf38fe858871e6e103913eb36eede08b
  1. src/
  2. .gitignore
  3. BUILD
  4. LICENSE
  5. README.md
README.md

Gerrit download-commands plugin

All documentation may be found under src/main/resources/Documentation/.