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 | |
| parent | 9fbf4d2a52d4d3e01059f3432bb3f78182b5a822 (diff) | |
| download | patches-ac9cd78ea9e6a3cf850b33fb2111b85e2bbf533d.tar patches-ac9cd78ea9e6a3cf850b33fb2111b85e2bbf533d.tar.gz | |
bootloader: Fix comment about 'menu-entries'.
* gnu/bootloader.scm (<bootloader-configuration>)[menu-entries]: Fix
margin comment.
| -rw-r--r-- | gnu/bootloader.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/bootloader.scm b/gnu/bootloader.scm index a381f67145..909036042f 100644 --- a/gnu/bootloader.scm +++ b/gnu/bootloader.scm @@ -108,7 +108,7 @@ (bootloader bootloader-configuration-bootloader) ;<bootloader> (target bootloader-configuration-target ;string (default #f)) - (menu-entries bootloader-configuration-menu-entries ;list of <boot-parameters> + (menu-entries bootloader-configuration-menu-entries ;list of <menu-entry> (default '())) (default-entry bootloader-configuration-default-entry ;integer (default 0)) |