diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-10-09 10:52:39 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-10-09 18:54:12 +0200 |
| commit | e54aec7b8e5ef1aa53df043e3c0b06f25d2936a4 (patch) | |
| tree | 63e2788d310c07d3895e2103fa1d8eeb01faff4e /graph.js | |
| parent | fe17037b387c6eca0c45f0526d2761e982a192bb (diff) | |
| download | gnu-guix-e54aec7b8e5ef1aa53df043e3c0b06f25d2936a4.tar gnu-guix-e54aec7b8e5ef1aa53df043e3c0b06f25d2936a4.tar.gz | |
pull: '-l' now honors '-p'.
* guix/scripts/pull.scm (process-query): Add 'profile' parameter and
remove 'profile' local variable.
(guix-pull): Adjust caller.
Diffstat (limited to 'graph.js')
0 files changed, 0 insertions, 0 deletions