Eric Huss 1a0c296532 Merge pull request #1426 from ehuss/search-mark-words ... Fix search highlighting with multiple words.		2021-01-14 17:01:52 -08:00
..
elasticlunr.min.js	Search with Elasticlunr, updated (#604)	2018-03-07 21:02:06 +08:00
mark.min.js	Search with Elasticlunr, updated (#604)	2018-03-07 21:02:06 +08:00
mod.rs	Remove 'static lifetime from static vars (#947)	2019-05-31 18:01:02 +02:00
searcher.js	Merge pull request #1426 from ehuss/search-mark-words	2021-01-14 17:01:52 -08:00