diff options
author | Ludovic Courtès <ludo@gnu.org> | 2014-11-10 12:33:50 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2014-11-10 15:00:35 +0100 |
commit | 88faf93315b08f04b826a126f4c89fd30cf93710 (patch) | |
tree | 2b6645f50b4752ae625f5fbd165d3815550d7d5d /THANKS | |
parent | 843858b8a733286b93895ae8e3abe6e8e7180af4 (diff) | |
download | patches-88faf93315b08f04b826a126f4c89fd30cf93710.tar patches-88faf93315b08f04b826a126f4c89fd30cf93710.tar.gz |
doc: Add "GRUB Configuration".
* doc/guix.texi (operating-system Reference): Add xref to "GRUB
Configuration".
(GRUB Configuration): New node.
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions