aboutsummaryrefslogtreecommitdiffstats
path: root/docs
diff options
context:
space:
mode:
authorJuraj Linkeš <juraj.linkes@pantheon.tech>2020-07-01 13:21:07 +0200
committerJuraj Linkeš <juraj.linkes@pantheon.tech>2020-07-01 13:43:25 +0200
commita0c99f7d37f8460a5f362ef3402d9afdc6284e86 (patch)
tree4a778752b2a2e60bb804289218229957be2b6c66 /docs
parentd9e9ec7c969cb3d197895c64664e65f26863563d (diff)
Infra: Update ansible ARM dev server
Remove nomad installation from the ARM dev server and add a generic vppdev user to it. Add ansible role dev for this. Change-Id: Icb967ff18cbe939464ddb3d8dbce5101747e739f Signed-off-by: Juraj Linkeš <juraj.linkes@pantheon.tech>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions