diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-11-28 13:12:39 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-11-28 13:30:53 +0100 |
| commit | 055f052574c440aab5c9235c8277c5348c969c24 (patch) | |
| tree | dcb71c7bde6433f54cb46d1fc72eab60007f04cf /.dir-locals.el | |
| parent | fa983b825748bedb795a8105fad53c8548ca57d3 (diff) | |
| download | guix-patches-055f052574c440aab5c9235c8277c5348c969c24.tar guix-patches-055f052574c440aab5c9235c8277c5348c969c24.tar.gz | |
ui: 'display-generation' emits a hyperlink for the generation.
* guix/ui.scm (supports-hyperlinks?): Make 'port' optional.
(display-generation): Use 'file-hyperlink' for the heading when
'supports-hyperlinks?' returns true.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions