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)
.gitmodules [deleted file]

diff --git a/.gitmodules b/.gitmodules
deleted file mode 100644 (file)
index e69de29..0000000