diff options
author | Tomi Juvonen <tomi.juvonen@nokia.com> | 2018-10-30 12:18:19 +0200 |
---|---|---|
committer | Gerrit Code Review <gerrit@opnfv.org> | 2018-10-30 10:49:48 +0000 |
commit | b9359eda177c097ada46befcf64d9163edcc4873 (patch) | |
tree | 117700cce2bc22848f0d4e946de614f5f4926b76 /docs/glossary | |
parent | 47fc92f3fd4da281f794e89af732e270ae31bc48 (diff) |
Update git submodules
* Update docs/submodules/doctor from branch 'master'
- fix building docs
Change-Id: Ie9d07f5a039e43f6468cabb41c610fd642e4c825
Signed-off-by: Tomi Juvonen <tomi.juvonen@nokia.com>
Diffstat (limited to 'docs/glossary')
0 files changed, 0 insertions, 0 deletions