diff options
author | agardner <agardner@linuxfoundation.org> | 2018-02-23 16:13:40 -0500 |
---|---|---|
committer | agardner <agardner@linuxfoundation.org> | 2018-02-23 16:13:40 -0500 |
commit | 1e1068cad85adccecedda66eee7715530173e32a (patch) | |
tree | d88c62a9806b12a947ac31e24cddc165b28730ce /docs/infra/artifacts/index.rst | |
parent | cf0389cc2e5de2d40611b24c66c85a3fb7dd0351 (diff) |
Fix naming for ansible build server stuff
Botched that last change
Change-Id: If44039052332738a575d62c57faae95462b489a8
Signed-off-by: agardner <agardner@linuxfoundation.org>
Diffstat (limited to 'docs/infra/artifacts/index.rst')
0 files changed, 0 insertions, 0 deletions