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 /doc/manual/expressions/builtins.xml | |
| parent | 694b6d229bb5fb7edcef37380308850d3d48b991 (diff) | |
Update the progress bar at most 20 times per second
Fixes #1834.
Diffstat (limited to 'doc/manual/expressions/builtins.xml')
0 files changed, 0 insertions, 0 deletions