diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-09-25 10:45:38 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-09-25 15:46:47 +0200 |
commit | 0876e9c116125b28806286b0313ff78de5948562 (patch) | |
tree | 010d092ef73648b4d0fd94747d9daa5c44672949 /doc/guix.texi | |
parent | dd2a83270bccb539439b2fc831d0db04e5276f11 (diff) | |
download | patches-0876e9c116125b28806286b0313ff78de5948562.tar patches-0876e9c116125b28806286b0313ff78de5948562.tar.gz |
colors: Add 'dim'.
* guix/colors.scm (coloring-procedure): New procedure.
(%highlight-color): Remove.
(highlight): Define in terms of 'coloring-procedure'.
(dim): New procedure.
Diffstat (limited to 'doc/guix.texi')
0 files changed, 0 insertions, 0 deletions