diff options
| author | bruvzg <7645683+bruvzg@users.noreply.github.com> | 2021-10-25 11:49:18 +0300 |
|---|---|---|
| committer | bruvzg <7645683+bruvzg@users.noreply.github.com> | 2021-10-25 14:05:37 +0300 |
| commit | ebbc25e89c1f3423b713fcc2df418e04df5743ef (patch) | |
| tree | 7c7a1ecacc9ce105e7e0b8fb0cd94a6e8d090d06 /thirdparty/embree | |
| parent | 92a2380d967d5a99ad3942529b50c933aed07f54 (diff) | |
Ignore empty Font resources as theme override.
Add range hint to font_size properties.
Remove excessive `base_size` Font property.
Diffstat (limited to 'thirdparty/embree')
0 files changed, 0 insertions, 0 deletions