diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-04-14 19:49:38 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-04-14 23:40:52 +0200 |
commit | 3dae43a92975cb6a1055e928523122bc340272fd (patch) | |
tree | da84b3c2484fb16a5b52aa46bc3001ba2128fdf4 /gnu/installer | |
parent | c1c5d68a94e219d0e56d5dc0e0d6ed9b08076a30 (diff) |
ui: Highlight heading of generation lists.
* guix/ui.scm (display-generation): Highlight the "Generation" heading.
Diffstat (limited to 'gnu/installer')
0 files changed, 0 insertions, 0 deletions