diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2016-12-19 15:40:04 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2016-12-19 17:51:00 +0100 |
| commit | 9b06f503f406fc51dcf400bce97b37fd5970dd95 (patch) | |
| tree | 05800342bfa284057dde5f722dca13b58e837967 /etc | |
| parent | 7fcf2a0b94ce3316611be959bc9e78d9ac962b89 (diff) | |
doc: Mention 'grub' field of 'grub-configuration'.
* doc/guix.texi (GRUB Configuration): Add 'grub' field.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions