diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2017-08-29T13·13+0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2017-08-29T13·13+0200 |
commit | c8235c531355d612d48f633f8a6ace5fcd97f5fe (patch) | |
tree | c54d398380ef786e6895b5427774bbd750566b31 /src/nix/repl.cc | |
parent | 05d68a6e23127e490193599f75489006830b302c (diff) |
nix run: Flush the progress bar before starting the command
Diffstat (limited to 'src/nix/repl.cc')
0 files changed, 0 insertions, 0 deletions