diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-06-25 22:54:52 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-06-25 23:53:27 +0200 |
| commit | fe6e3fe2a56aede1d5e04bab3281515c8df86ff8 (patch) | |
| tree | 352cdbc887b981e99aedd9a025e2823ae34f4d34 /.gitmodules | |
| parent | 64e40dbb692d537e67d1dccd727dd5c36e39a10e (diff) | |
| download | patches-fe6e3fe2a56aede1d5e04bab3281515c8df86ff8.tar patches-fe6e3fe2a56aede1d5e04bab3281515c8df86ff8.tar.gz | |
system: Support the addition of old entries in the GRUB menu.
* gnu/system.scm (operating-system-grub.cfg): Add 'old-entries'
parameter. Pass it to 'grub-configuration-file'.
* gnu/system/grub.scm (grub-configuration-file): Add #:old-entries
parameter. Honor it.
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions