diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-08-14T20·42+0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-08-16T18·56+0200 |
| commit | bf1f123b09ec7402b0565808619e11b5bfe6b16b (patch) | |
| tree | d0e4c9af039b8bf05244f648907c21274ee37054 /doc/manual/command-ref/conf-file.xml | |
| parent | 0e0dcf2c7ec054f1b30629e275f53f56039b8257 (diff) | |
Progress indicator: Show number of active items
Diffstat (limited to 'doc/manual/command-ref/conf-file.xml')
0 files changed, 0 insertions, 0 deletions