From ace926155851f65df1535678dcf71fec32d7a718 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 8d3feef67c0..452d036f233 100644 --- a/Doc/tools/sphinxext/indexsidebar.html +++ b/Doc/tools/sphinxext/indexsidebar.html @@ -11,13 +11,8 @@

Other resources