diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2018-02-06T19·51+0100 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2018-02-06T19·51+0100 |
commit | 6f6bfc820544c3fe9cc35ec67ed3f9d4c6a293a3 (patch) | |
tree | cf9703dd9236f53cdf47cc4c0c1c117abc255eed /src/libexpr | |
parent | 694b6d229bb5fb7edcef37380308850d3d48b991 (diff) |
Update the progress bar at most 20 times per second
Fixes #1834.
Diffstat (limited to 'src/libexpr')
0 files changed, 0 insertions, 0 deletions