diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-06-30 01:25:24 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-30 01:25:24 +0200 |
| commit | 047cdc9a9f5ec4c0d098f04c8a9eb727f1cef318 (patch) | |
| tree | 3f591f42d7cc24fd6974c3323e7098d02002a65d /thirdparty/harfbuzz/src/hb-draw.hh | |
| parent | 8a00d7c847931d6213201998c225785b3339224c (diff) | |
| parent | c6f57c30c39d43bb5faaa0451d824159d61f32c6 (diff) | |
Merge pull request #62511 from Chaosus/fix_doc_title_property
Fix `help_title_font_size` editor property to correctly apply to docs
Diffstat (limited to 'thirdparty/harfbuzz/src/hb-draw.hh')
0 files changed, 0 insertions, 0 deletions