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. .gitignore
  2. BUILD
  3. LICENSE
  4. README.md
  5. src/
README.md

Gerrit download-commands plugin

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