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 /gnu/build | |
| 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 'gnu/build')
0 files changed, 0 insertions, 0 deletions