5 Commits (b005b7bcfee6ab18c1326ba82084b5c9a37eaacc)

Author	SHA1	Message	Date
simon	f1bc3c9f37	remove old wiki pages with redirects	2 years ago
p0358	7e9fed3d26	Add search usage summary on the search page and improve the search docs (#426) ... * add search usage summary on the search page * fix JS linter and switch multi-search-results elements from class to id * changes according to feedback * finetune colors --------- Co-authored-by: simon <simobilleter@gmail.com>	2 years ago
simon	66b72da02a	update fuzzy search docs	2 years ago
simon	e69cd1129c	add result size info	2 years ago
simon	6ec65f9fe8	add search wiki page	2 years ago