diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2022-09-14 07:32:47 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-09-14 07:32:47 +0200 |
commit | b1139fffd40a257d084b959e78550f43667e9a9a (patch) | |
tree | 35566bc7518b09012b42e790b139dba37eeb711c /thirdparty/harfbuzz/src/hb-ot-post-table.hh | |
parent | b1e54ef20b1f8bd6c89978b08ffd47d062554cd8 (diff) | |
parent | 9d5e48f873ba55b6b7eddb57e754bea96149ab4a (diff) |
Merge pull request #65769 from m4gr3d/update_android_editor_menus_main
Disable menus and functionality that are not relevant on the Android Editor port
Diffstat (limited to 'thirdparty/harfbuzz/src/hb-ot-post-table.hh')
0 files changed, 0 insertions, 0 deletions