diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2017-08-16T17·23+0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2017-08-16T18·56+0200 |
commit | c2cab207320672fb6ed4af40a99fc9082ff55234 (patch) | |
tree | c966ed39598be295be7fe663054e2ff92ecf5e92 /doc/manual | |
parent | b4ed97e3a3116909fcaa79f5ce84487ed3838112 (diff) |
nix verify: Restore the progress indicator
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions