diff options
author | Ludovic Courtès <ludo@gnu.org> | 2014-11-11 22:28:57 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2014-11-11 22:42:42 +0100 |
commit | 42de960878afb022bbc0bf9e7d31d7e0d8c2bd33 (patch) | |
tree | e605fdcfdf11e27996e814e11981826d252659ab /NEWS | |
parent | 906b1b09861e5fcc8ef0b0de8e692d5fea95a976 (diff) | |
download | patches-42de960878afb022bbc0bf9e7d31d7e0d8c2bd33.tar patches-42de960878afb022bbc0bf9e7d31d7e0d8c2bd33.tar.gz |
system: Shorten the default label for GRUB entries.
* gnu/system.scm (kernel->grub-label): Shorten entry labels.
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions