diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-01-03 10:44:19 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-03 10:44:19 +0100 |
commit | edd78d54c4d8361d257aefb3734c4138f9f05590 (patch) | |
tree | cb9fc9239cec37893baf8ed9216135c93fe5b0f2 /core | |
parent | 3f28b72f35f4978256e708568c124efe4e0df397 (diff) | |
parent | 2c8ebab93b8bc534c8960cbbf876c19c9ac71967 (diff) |
Merge pull request #15073 from volzhs/editor-custom-font
Use .ttf or .otf file for editor custom font
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions