diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-01-26 13:43:43 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-26 13:43:43 +0100 |
| commit | 1894f3f16567ff7475dd65ac61d6b8939fdccad4 (patch) | |
| tree | a0b941ea9ec7e2c8844b640be9702546c9686276 /editor/editor_fonts.h | |
| parent | 58324f4df822c7416278cda5bf41662e979f9e31 (diff) | |
| parent | cf3d3a6ffabf8a57ae1fb0f0e2cb047c6b0b1c93 (diff) | |
Merge pull request #57247 from bruvzg/rtl_ol_type1
Diffstat (limited to 'editor/editor_fonts.h')
0 files changed, 0 insertions, 0 deletions