From 25be142723568421b3c22a058ea2490bf87950fb Mon Sep 17 00:00:00 2001 From: David Wosnitza Date: Fri, 12 Dec 2014 15:37:28 +0100 Subject: changed theme to sphinx_rtd_theme Signed-off-by: David Wosnitza --- user_guide_src/source/_themes/eldocs/searchbox.html | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100644 user_guide_src/source/_themes/eldocs/searchbox.html (limited to 'user_guide_src/source/_themes/eldocs/searchbox.html') diff --git a/user_guide_src/source/_themes/eldocs/searchbox.html b/user_guide_src/source/_themes/eldocs/searchbox.html deleted file mode 100644 index 039590bd9..000000000 --- a/user_guide_src/source/_themes/eldocs/searchbox.html +++ /dev/null @@ -1,21 +0,0 @@ - - - - -- cgit v1.2.3-24-g4f1b