diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-12-02 18:53:39 +0100 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-12-02 18:55:46 +0100 |
| commit | 56d884ffde4dad6839c5e586241962e6256ff7b1 (patch) | |
| tree | 4fe13c9ffd94af0f4055a96380f43f1ca51c138b /doc/classes/Input.xml | |
| parent | 9607fc48a0134b289fe62f327db1f160d70fac24 (diff) | |
Tweak error timestamp formatting to be more readable
This uses a `.` instead of `:` as the decimal separator and trims
the decimal part to 3 digits, as millisecond precision is usually
sufficient.
Diffstat (limited to 'doc/classes/Input.xml')
0 files changed, 0 insertions, 0 deletions