diff options
author | Trevor Bramwell <tbramwell@linuxfoundation.org> | 2018-10-26 10:31:41 -0700 |
---|---|---|
committer | Trevor Bramwell <tbramwell@linuxfoundation.org> | 2018-10-29 19:22:33 +0000 |
commit | 8da20a6a31ea58690de6fdb887e0071bf854dac0 (patch) | |
tree | 7eb8a63af5644dbe05c5e030bc3de6b932b9d746 /docs/submodules/domino | |
parent | 31f9bb2a1284fbe239e20e2989403d44596216dd (diff) |
Convert Unlinked Git Submodules to Intersphinx
These projects don't have any docs linked in the current documentation,
so there is little reason to include their submodules here.
Converting the non-archived projects to intersphinx link should reduce
the build time.
Change-Id: Ifdb614d53ac5cbdfa4c94ac09d990f796004cf10
Signed-off-by: Trevor Bramwell <tbramwell@linuxfoundation.org>
(cherry picked from commit d4dfbf8ff6f2a4e222befc824facf9dab70e2638)
Diffstat (limited to 'docs/submodules/domino')
m--------- | docs/submodules/domino | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs/submodules/domino b/docs/submodules/domino deleted file mode 160000 -Subproject 8330eea4474bf90a358c2255b1d0c6403829579 |