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