Merge "Remove devtool from docs."
authorJessica Wagantall <jwagantall@linuxfoundation.org>
Fri, 10 Apr 2020 15:58:35 +0000 (15:58 +0000)
committerGerrit Code Review <gerrit@onap.org>
Fri, 10 Apr 2020 15:58:35 +0000 (15:58 +0000)

Trivial merge