diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-07-17 20:09:24 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-07-18 00:44:23 +0200 |
commit | c84c4c1db76e248c7709b1b5421f7539134d8cdb (patch) | |
tree | 8d70af8e205342c54291eb7bfd9a7f1ffc72479b /Makefile.am | |
parent | 4569a7693eded1d62c65c5a8042bd34e24636f28 (diff) |
pull: Remove unused procedures.
* guix/scripts/pull.scm (what-to-build, indirect-root-added): Remove.
Diffstat (limited to 'Makefile.am')
0 files changed, 0 insertions, 0 deletions