diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-08-29 10:03:42 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-08-30 01:33:45 +0200 |
commit | ac9cd78ea9e6a3cf850b33fb2111b85e2bbf533d (patch) | |
tree | f710947137ef78a7e6e6e1fe6378231dc9978fd1 /THANKS | |
parent | 9fbf4d2a52d4d3e01059f3432bb3f78182b5a822 (diff) |
bootloader: Fix comment about 'menu-entries'.
* gnu/bootloader.scm (<bootloader-configuration>)[menu-entries]: Fix
margin comment.
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions