diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-01-17T11·04+0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2018-01-17T11·04+0100 |
| commit | 27b510af5c3f8ad562dbc90dd39f82236fdf57db (patch) | |
| tree | 7d7b50107951f9ffcc087ce53625988aaa42da82 /.gitignore | |
| parent | 16e0287556cbf04d2642c1091b4fe00fa6e352af (diff) | |
nix eval: Stop progress bar before printing the result
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions