diff options
author | 2018-10-30 12:18:19 +0200 | |
---|---|---|
committer | 2018-10-30 10:58:49 +0000 | |
commit | 952214f602242e3c8ca578a39453a2d8c7cb974b (patch) | |
tree | 442c3fd9524468dccc28345cea92ffe6a00d138e /.gitignore | |
parent | 5438701561df6645513fb075012112f6bbb3559e (diff) |
Update git submodules
* Update docs/submodules/doctor from branch 'stable/gambia'
- fix building docs
Change-Id: Ie9d07f5a039e43f6468cabb41c610fd642e4c825
Signed-off-by: Tomi Juvonen <tomi.juvonen@nokia.com>
(cherry picked from commit 5b3f5937e7b861fca46b2a6b2d6708866b800f95)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions