diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-01-08 18:17:22 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-01-08 18:38:15 +0100 |
| commit | a21a906fcd31c918431622f7ac56b21c269368fb (patch) | |
| tree | feee01bc6c8cbaf6ae47d14b5a59d2b42766a480 /doc | |
| parent | 08fdee39110a51cd76afac7a9adf10c794a4c272 (diff) | |
pull: Document '--system'.
Fixes <https://bugs.gnu.org/34010>.
Reported by Alex Kost <alezost@gmail.com>.
This is a followup to 5923102f7b58f0a0120926ec5b81ed48b26a188e.
* guix/scripts/pull.scm (show-help): Add '--system'.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions