diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2022-08-22 14:27:36 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2022-08-22 14:27:36 +0200 |
| commit | 0d2163c6dcf03463fa91ec6d0d96c928ad907366 (patch) | |
| tree | 9262feb1cffeb5cabcce5821ec9c394b6bdd9e0b /.gitignore | |
| parent | 9ddef9f0be811277c76c1c2bd126cac7de4eaa35 (diff) | |
nix repl: Stop the progress bar
The repl was broken since c3769c68465bae971ab6bb48cfcdea85b61ea83a. In
general, the progress bar is incompatible with the repl.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions