diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-12-06 00:40:41 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-12-12 17:56:58 +0100 |
| commit | 22f06a212879369bd1d7f3aa5b19f8f89a8c6693 (patch) | |
| tree | b843f8fc7130138746872edc2e0f5d5cd838c3d6 /etc | |
| parent | 1d9a4456a83a197a47bf2bdebc6b60ae78e00cfc (diff) | |
| download | guix-22f06a212879369bd1d7f3aa5b19f8f89a8c6693.tar.gz | |
progress: Add 'progress-report-port'.
* guix/scripts/substitute.scm (progress-report-port): Move to... * guix/progress.scm (progress-report-port): ... here. New procedure.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions