2 Commits

Include renames

Author	SHA1	Message	Date
3 people	68059ab697	docs: move search input to navbar (#20551) ... * remove search item from sidebar * fix search for some docs languages Co-authored-by: wxiaoguang <[email protected]>	2022-08-08 15:27:04 +08:00
3 people	3b0303a4fc	Implement documentation search (#8937) ... * Implement documentation search Signed-off-by: jolheiser <[email protected]> Co-Authored-By: guillep2k <[email protected]>	2019-11-13 18:03:18 +00:00