diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2022-10-04 16:46:59 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-10-04 16:46:59 +0200 |
commit | a140efbbeb13f0ddcb5a5fe9e5da05ea9840f2d7 (patch) | |
tree | 0d0c50e3c9cd2b9b8b2f081793f704712cec2ccf /servers/text_server.h | |
parent | d1552fd38c25cbd2759391e9c1f7ccf128853202 (diff) | |
parent | 4465dd6e37d048119e9a19b50bac035294adcea9 (diff) |
Merge pull request #65315 from Mickeon/editor-help-search-multi-term
Allow multiple words in Docs Help Search filter
Diffstat (limited to 'servers/text_server.h')
0 files changed, 0 insertions, 0 deletions