Merge "Remove empty tools directory" into stable/magnesium
authorThanh Ha (zxiiro) <zxiiro@gmail.com>
Tue, 11 Aug 2020 18:52:43 +0000 (18:52 +0000)
committerGerrit Code Review <gerrit@opendaylight.org>
Tue, 11 Aug 2020 18:52:43 +0000 (18:52 +0000)

Trivial merge