From d4dfbf8ff6f2a4e222befc824facf9dab70e2638 Mon Sep 17 00:00:00 2001 From: Trevor Bramwell Date: Fri, 26 Oct 2018 10:31:41 -0700 Subject: 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 --- docs/submodules/domino | 1 - 1 file changed, 1 deletion(-) delete mode 160000 docs/submodules/domino (limited to 'docs/submodules/domino') diff --git a/docs/submodules/domino b/docs/submodules/domino deleted file mode 160000 index 8330eea44..000000000 --- a/docs/submodules/domino +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 8330eea4474bf90a358c2255b1d0c64038295796 -- cgit 1.2.3-korg