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/copper | 1 - 1 file changed, 1 deletion(-) delete mode 160000 docs/submodules/copper (limited to 'docs/submodules/copper') diff --git a/docs/submodules/copper b/docs/submodules/copper deleted file mode 160000 index 505dc7754..000000000 --- a/docs/submodules/copper +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 505dc7754239feaa28c736abb3019598db2a1a56 -- cgit 1.2.3-korg