diff options
| author | Mathieu Othacehe <m.othacehe@gmail.com> | 2017-04-02 15:52:34 +0200 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@scratchpost.org> | 2017-04-15 12:39:27 +0200 |
| commit | c2e9942b8fc8918c3e1d9612f99bea06be9ff81d (patch) | |
| tree | 19dce9516f0b54cd2b3a54f43bf04b32535e37d5 /ROADMAP | |
| parent | a41134b44219a0aadbad4445586c571b0fbffbbd (diff) | |
system: Rename kernel->grub-label to kernel->boot-label.
* gnu/system.scm (kernel->grub-label): Rename to kernel->boot-label.
(operating-system-grub.cfg): Adapt.
(operating-system-parameters-file): Ditto.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
Diffstat (limited to 'ROADMAP')
0 files changed, 0 insertions, 0 deletions