From e768b06f160291ed8c4bc50933e3fc179589516f Mon Sep 17 00:00:00 2001 From: Ezio Melotti Date: Mon, 14 May 2012 13:26:45 +0300 Subject: [PATCH] #14405: remove outdated/broken/duplicate links. --- Doc/tools/sphinxext/indexsidebar.html | 5 ----- 1 file changed, 5 deletions(-) diff --git a/Doc/tools/sphinxext/indexsidebar.html b/Doc/tools/sphinxext/indexsidebar.html index de3341105d3..748cb91be6b 100644 --- a/Doc/tools/sphinxext/indexsidebar.html +++ b/Doc/tools/sphinxext/indexsidebar.html @@ -10,13 +10,8 @@

Other resources