diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-04-05 23:49:41 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-05 23:49:41 +0200 |
| commit | a8ae206a1efd7dcdad2d39aea56d4531a5bb481e (patch) | |
| tree | e2b992593c1adc6ca2c7aaf1420dd5a9dcbaa63d /thirdparty/harfbuzz/src/hb-face.hh | |
| parent | 956189e0d2066dc6ac7a2cadc18d9cf7d6a912f1 (diff) | |
| parent | 208c4ce3f06d61d9e6b361d21e23342085a2bff4 (diff) | |
Merge pull request #59922 from V-Sekai/fix_editor_search
Improve handling for editor documentation search with blank searches
Diffstat (limited to 'thirdparty/harfbuzz/src/hb-face.hh')
0 files changed, 0 insertions, 0 deletions