diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-07-13 16:59:15 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-07-13 17:28:40 +0200 |
| commit | bca302c67af6969584e60bd1604ea196ecc48c4b (patch) | |
| tree | f3a63208b7b99e90c2245700d46bf1d2b2720d87 /graph.js | |
| parent | dc733e6a12ef4c351bfd2d876784c816a245d575 (diff) | |
pull: Display new/upgraded packages upon completion.
* guix/scripts/pull.scm (display-profile-news): New procedure.
(build-and-install): Call it.
(display-new/upgraded-packages): Add #:heading and honor it.
Diffstat (limited to 'graph.js')
0 files changed, 0 insertions, 0 deletions