diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-04-14 23:30:52 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-04-14 23:40:52 +0200 |
commit | 4ce3a32680d59fe93d0cfc759a4b8122370eef43 (patch) | |
tree | f90b408df14c77c6818a55acedaa05c85280fbd9 /AUTHORS | |
parent | 7cd38788e6180eea64974c87a899d8e9613e3e9a (diff) | |
download | patches-4ce3a32680d59fe93d0cfc759a4b8122370eef43.tar patches-4ce3a32680d59fe93d0cfc759a4b8122370eef43.tar.gz |
system: Remove "beta" from GRUB menu entries.
* gnu/system.scm (kernel->boot-label): Remove "(beta)".
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions