Skip to content

Fix search highlighting with multiple words.#1426

Merged
ehuss merged 1 commit intorust-lang:masterfrom
ehuss:search-mark-words
Jan 15, 2021
Merged

Fix search highlighting with multiple words.#1426
ehuss merged 1 commit intorust-lang:masterfrom
ehuss:search-mark-words

Commits

Commits on Jan 4, 2021