David B. Kinder aa4531b2d0 doc: remove local version of Sphinx searchtools.js ... We previously created an improved version of searchtools.js (used by the Sphinx search) to remove the reST tags shown in the search results. This has now been fixed in the upstream version of searchtools.js along with other speed and visual improvements, so we should remove our local copy. Signed-off-by: David B. Kinder <david.b.kinder@intel.com>		2019-03-15 07:00:12 -05:00
..
images
zephyr-custom.css	doc: add icons to the home page blocks	2019-02-05 18:36:16 -05:00
zephyr-custom.js