diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-06-12 16:25:10 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-12 16:25:10 +0200 |
| commit | f410e7a8a9b14fd9f5c210afcc9e3519e9ce246d (patch) | |
| tree | cf10eba4c066d50e8da3e73b4847113ce761dab4 /editor/node_dock.h | |
| parent | 4073da7ddd0e1e899b5ae3f37b0281286016bfd6 (diff) | |
| parent | 463d0988dd0738c6a4760128823e03a37d967513 (diff) | |
Merge pull request #29616 from Calinou/humanize-size-clearer-rounding
Make humanized size rounding clearer by padding decimals with zeroes
Diffstat (limited to 'editor/node_dock.h')
0 files changed, 0 insertions, 0 deletions