2 Commits

Author	SHA1	Message	Date
/* User with id == 0 is a fake user from git author */ silverwind	d6657644a9	Modernize docs/assets/js/search.js (#10621) ... - reformated file with eslint's --fix - did some minor rule adjustments - removed unneccesary console debug - fixed a typo	2020-03-08 21:41:52 -03:00
John Olheiser	3b0303a4fc	Implement documentation search (#8937) ... * Implement documentation search Signed-off-by: jolheiser <john.olheiser@gmail.com> Co-Authored-By: guillep2k <18600385+guillep2k@users.noreply.github.com>	2019-11-13 18:03:18 +00:00