diff options
author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-01-18 22:18:37 +0100 |
---|---|---|
committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-01-18 22:19:19 +0100 |
commit | 4b7830645945653b6053565462fa47f6962a19b1 (patch) | |
tree | 176e7895e91811e27209c8531ed2cc490e457c2d /platform/android/dir_access_jandroid.h | |
parent | 93d8f3cdd5f0166fcbf8456488e98bfd4d9e02bb (diff) |
Fix a rounding error in ColorPicker
This closes #25063.
Diffstat (limited to 'platform/android/dir_access_jandroid.h')
0 files changed, 0 insertions, 0 deletions