diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2018-05-07 15:54:44 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-07 15:54:44 -0300 |
| commit | 8b9b653e763d94e56b2c4968fc2df4dbf8060943 (patch) | |
| tree | 76e396acde26c1077d0fb5529d03e76583d90ca1 /thirdparty | |
| parent | 3e8c8ac59002f996d7df6f1e0ea57a4bdbf2292b (diff) | |
| parent | 29216b2bad4677e0ded77ea777c9cb4bc8bae6b4 (diff) | |
Merge pull request #18113 from toger5/bold_font
added bold font to editor (support for coustom bold font)
Diffstat (limited to 'thirdparty')
| -rw-r--r-- | thirdparty/fonts/NotoSansUI_Bold.ttf | bin | 0 -> 311496 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/thirdparty/fonts/NotoSansUI_Bold.ttf b/thirdparty/fonts/NotoSansUI_Bold.ttf Binary files differnew file mode 100644 index 0000000000..810450aa81 --- /dev/null +++ b/thirdparty/fonts/NotoSansUI_Bold.ttf |