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 /editor/icons/icon_c_s_g_polygon.svg | |
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 'editor/icons/icon_c_s_g_polygon.svg')
0 files changed, 0 insertions, 0 deletions