Fix #1310 - preference pages are not found when searching for "yaml"#1325

Merged

mickaelistria merged 1 commit intoeclipse-wildwebdeveloper:masterfrom zulus:bug-1310

Sep 11, 2023

+71-9

Commits on Sep 6, 2023

Fix eclipse-wildwebdeveloper#1310 - preference pages are not found when searching for "yaml"

zulus
authored and
vrubezhny
committed