diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-02-04 16:56:21 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-04 16:56:21 +0100 |
| commit | a405a249a60fc6b88b0c2880d85dc6dc9c1d3e10 (patch) | |
| tree | b64819dca1c2033eee6d9dc4b2420ce69fb84e65 /thirdparty/harfbuzz/src/hb-set.hh | |
| parent | 7e14a276da1ab8e7dda4f4f5041056edc1910c25 (diff) | |
| parent | 2105b6a0705c4b1411d7a87f154c890c68910351 (diff) | |
Merge pull request #45708 from dalexeev/fix-help-shortcut
Fix "editor/editor_help" shortcut overwriting when restarting editor
Diffstat (limited to 'thirdparty/harfbuzz/src/hb-set.hh')
0 files changed, 0 insertions, 0 deletions