diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-06-25 22:46:44 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-06-25 23:53:27 +0200 |
| commit | 2d23e6f0515bc2e3a8a388cbe881ac372b162f9e (patch) | |
| tree | 9f1c5feea9216954018870fde33e1a797d94c3d8 /scripts | |
| parent | 7cd157e22164cfd93968900cdd68e88963cfd4ba (diff) | |
| download | patches-2d23e6f0515bc2e3a8a388cbe881ac372b162f9e.tar patches-2d23e6f0515bc2e3a8a388cbe881ac372b162f9e.tar.gz | |
system: Factorize GRUB menu entry label.
* gnu/system.scm (kernel->grub-label): New procedure.
(operating-system-grub.cfg): Use it.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions