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 /.dir-locals.el | |
| parent | e0dbed64c530916ab600f193f5f6f6ad6177f7b3 (diff) | |
| download | patches-71bb485541328cdce214ada44be998570571bf36.tar patches-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 '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions