diff options
| author | Hristo Venev <hristo@venev.name> | 2019-03-19 22:20:34 +0200 |
|---|---|---|
| committer | Hristo Venev <hristo@venev.name> | 2019-03-19 22:20:34 +0200 |
| commit | c3269142f8d6c016ce8100b86fcae2031b145a9a (patch) | |
| tree | 8b90b321ba347dd0d35852b60f6b86d415a83bb2 /src/model | |
| parent | ea93592ee7dc072103af91c6eeab6e895118807e (diff) | |
Don't print that many decimal digits on timers.
Diffstat (limited to 'src/model')
0 files changed, 0 insertions, 0 deletions