diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-18 08:38:14 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-18 08:38:14 +0100 |
commit | 0461f753870e1173aeef6704b38f2d174640984d (patch) | |
tree | a64bda5743e9c0cecc858c1c103c693641459b69 /platform/web/os_web.h | |
parent | 6119399fbd89ff297c476c62c99bda7a26b717e7 (diff) | |
parent | 44c27802b2fa1daa07c7123eb0f5810d1da5197e (diff) |
Merge pull request #71527 from matt08-prog/patch-1
add RichTextLabel::push_font_size description
Diffstat (limited to 'platform/web/os_web.h')
0 files changed, 0 insertions, 0 deletions