Skip to content

Highlight search results: treat each word separately and ignore case#1776

Merged
RogerHaase merged 1 commit intomoinwiki:masterfrom UlrichB22:highlightOct 9, 2024

Commits

Commits on Oct 8, 2024