diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-11-15 21:30:37 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-11-15 23:28:17 +0100 |
| commit | 1edcfda81ba5c20ca715473d45315662c60dd81e (patch) | |
| tree | 64dbd3b94be5af95f3ef8163cd3ab4c633757a2b /gnu/build/linux-boot.scm | |
| parent | 6f160c5c3809c9fd7af7da3f215ca0222e24ccce (diff) | |
pull: Remove unused '--verbose' option.
This option had been ignored since commit
0d39a3b98948314e135566b9315717695a9035ea (August 2018).
* guix/scripts/pull.scm (show-help, %options): Remove "--verbose".
(build-and-install): Remove #:verbose?, which was unused.
(guix-pull): Adjust accordingly.
Diffstat (limited to 'gnu/build/linux-boot.scm')
0 files changed, 0 insertions, 0 deletions