diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2018-08-06T17·01+0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-06T17·01+0200 |
commit | 103ad1598c4708735412ffbb4f8ef9730ec071d2 (patch) | |
tree | 90c73fdb4b9bd18dca73ad3c85f9c30af7e48066 /doc/manual/packages/binary-cache-substituter.xml | |
parent | ed6c646f44e5b9e0fcbc53058491e97875a263c2 (diff) | |
parent | 4495560d6df5f89c3ae32b960f457fbc2f3fb831 (diff) |
Merge pull request #2334 from dtzWill/fix/revert-progress-bar-refresh-for-now
Revert "progress-bar: re-draw last update if nothing new for 1sec."
Diffstat (limited to 'doc/manual/packages/binary-cache-substituter.xml')
0 files changed, 0 insertions, 0 deletions