Merge "Clean up vpp jenkins scripts & docker dir"
authorVratko Polak <vrpolak@cisco.com>
Thu, 15 Oct 2020 16:01:07 +0000 (16:01 +0000)
committerGerrit Code Review <gerrit@fd.io>
Thu, 15 Oct 2020 16:01:07 +0000 (16:01 +0000)

Trivial merge