about summary refs log tree commit diff
path: root/doc
diff options
context:
space:
mode:
authorEelco Dolstra <edolstra@gmail.com>2019-05-21T11·29+0200
committerGitHub <noreply@github.com>2019-05-21T11·29+0200
commit4d829916e7c81529257e25dd4fca1cc27096ba8d (patch)
treee788377d1cede6f60cb1cb893c13c883ded20e61 /doc
parentcdcdf3e798373b06c8c3e2b53c5722b91ea5f42e (diff)
parent6ade7ec022c836b7d1f9bd06be45e2c07835ec8c (diff)
Merge pull request #2800 from flokli/progress-bar-hide-unknown-expected
progress-bar: hide expected if expected is 0 (unknown)
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions