diff options
author | Juan Linietsky <reduzio@gmail.com> | 2018-05-07 20:25:06 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-07 20:25:06 -0300 |
commit | cb1fc5734b874f289ffb0d6b0b3035124f9498c8 (patch) | |
tree | 77eda33f5e85392ebfa0cc2b76c93fcde9dad5c3 /platform/x11/os_x11.h | |
parent | 7b85c9d0ea8de12b501f101af7d9ecaa1ba1be7a (diff) | |
parent | 051b4d6f19a7121e28b463232f3d5cb7ec4b027e (diff) |
Merge pull request #17316 from ShyRed/significantdigits
Adjust decimal precision
Diffstat (limited to 'platform/x11/os_x11.h')
0 files changed, 0 insertions, 0 deletions