| commit | b4132bfba8bf7db0f9c0fcd124fb7c177a59d543 | [log] [tgz] |
|---|---|---|
| author | aefimov <none@none> | Thu Jun 21 15:37:54 2018 +0100 |
| committer | aefimov <none@none> | Thu Jun 21 15:37:54 2018 +0100 |
| tree | 1fdb1b6c085e589873e5b8075891c821e8c559ce | |
| parent | 8931e07a112c19d8077b3f39ba9eacb90b9fa766 [diff] |
8204497: Better formatting of decimals Reviewed-by: joehw