]> git.ipfire.org Git - thirdparty/grub.git/commit
projects / thirdparty / grub.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 80cfd94) | patch
grub-reboot no more sets saved_default
authorAndrey Borzenkov <arvidjaar@gmail.com>
Sun, 10 Nov 2013 14:24:27 +0000 (18:24 +0400)
committerAndrey Borzenkov <arvidjaar@gmail.com>
Sun, 10 Nov 2013 14:24:27 +0000 (18:24 +0400)
commit5b99970eb70ca31538ebca5988579bc705cfbf5c
tree80ac5f3d8cb340c1e92ba94ba5bc540680c2ef96tree
parent80cfd940cc80ee5e809f326ed3fd91310cf91eeecommit | diff
grub-reboot no more sets saved_default

Remove reference to grub-default from description of saved default entry.

Also mention that GRUB_DEFAULT=saved depends on availability of environment
block.
ChangeLog diff | blob | blame | history
docs/grub.texi diff | blob | blame | history
Mirror of https://git.savannah.gnu.org/git/grub.git