diff options
author | Peter Mikus <pmikus@cisco.com> | 2019-08-15 12:22:55 +0000 |
---|---|---|
committer | Peter Mikus <pmikus@cisco.com> | 2019-08-15 12:22:55 +0000 |
commit | f2a4b79c9eaeb1d3a76c9e00895740bdbd7605a2 (patch) | |
tree | 76910ca1a58aef23f09a19eba2dc0d9b24d23222 /.gitmodules | |
parent | 5f2ebdc4507e70e47ebf4d15d623e25a77e3b254 (diff) |
CSIT: Remove docs-verify
- Replaced by TOX and saves the executor.
Change-Id: Ie437b39331571e97c4b85dc95942067bf6a62adb
Signed-off-by: Peter Mikus <pmikus@cisco.com>
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions