diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-11-10 18:10:02 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-10 18:10:02 +0100 |
commit | a80ec80b57f419d84d196fb46dcb5f194c880001 (patch) | |
tree | b92e1c797f7b7b985dad74e82e1f7715c8a3e87f /thirdparty/fonts | |
parent | 9397a5a272ba0b45bfb5e88b8884e992524786a5 (diff) | |
parent | ec6a4c92fe4817dd45bf0f7a5d6ad8853a16c6e3 (diff) |
Merge pull request #43441 from pWNn1sher/master
Checking for half_image_size[ x & y ] to be non-negative.
Diffstat (limited to 'thirdparty/fonts')
0 files changed, 0 insertions, 0 deletions