diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2019-05-21T11·29+0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-21T11·29+0200 |
| commit | 4d829916e7c81529257e25dd4fca1cc27096ba8d (patch) | |
| tree | e788377d1cede6f60cb1cb893c13c883ded20e61 /doc/manual/expressions/builtins.xml | |
| parent | cdcdf3e798373b06c8c3e2b53c5722b91ea5f42e (diff) | |
| parent | 6ade7ec022c836b7d1f9bd06be45e2c07835ec8c (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/manual/expressions/builtins.xml')
0 files changed, 0 insertions, 0 deletions