diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-11-22 14:05:35 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-12-01 16:00:14 +0100 |
| commit | 1252dd325bbb71387092e9e89ff1ede8ef3f1d5f (patch) | |
| tree | fa73a834c710d2b00d6d6f35b9b60c74cf6c0a52 /po | |
| parent | e695d79dc692e8e4829f6e5ce627113b328332eb (diff) | |
progress: Factorize erase-in-line.
* guix/progress.scm (erase-in-line): New procedure.
(progress-reporter/file): Use it.
Diffstat (limited to 'po')
0 files changed, 0 insertions, 0 deletions