diff options
author | Ludovic Courtès <ludo@gnu.org> | 2020-03-12 18:10:26 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2020-03-12 18:32:16 +0100 |
commit | 71bb485541328cdce214ada44be998570571bf36 (patch) | |
tree | 33cd5f5e7ca628443d2bc0de44ae100d0aae3128 /doc/htmlxref.cnf | |
parent | e0dbed64c530916ab600f193f5f6f6ad6177f7b3 (diff) | |
download | guix-71bb485541328cdce214ada44be998570571bf36.tar.gz |
weather: Add '--display-missing'.
* guix/scripts/weather.scm (report-server-coverage): Add #:display-missing? and honor it. (show-help, %options): Add "--display-missing". (guix-weather): Pass #:display-missing? to 'report-server-coverage'. * doc/guix.texi (Invoking guix weather): Document it.
Diffstat (limited to 'doc/htmlxref.cnf')
0 files changed, 0 insertions, 0 deletions