about summary refs log tree commit diff
path: root/doc
diff options
context:
space:
mode:
authorEelco Dolstra <edolstra@gmail.com>2018-02-06T19·51+0100
committerEelco Dolstra <edolstra@gmail.com>2018-02-06T19·51+0100
commit6f6bfc820544c3fe9cc35ec67ed3f9d4c6a293a3 (patch)
treecf9703dd9236f53cdf47cc4c0c1c117abc255eed /doc
parent694b6d229bb5fb7edcef37380308850d3d48b991 (diff)
Update the progress bar at most 20 times per second
Fixes #1834.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions