mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-27 01:29:27 +00:00
Remove an invalid entry.
This commit is contained in:
1 parent
0a74e62fde
commit
001cf69421
1 file changed
-2
@@ -1,7 +1,5 @@
|
|||||||
2005-08-14 Yoshinori K. Okuji <okuji@enbug.org>
|
2005-08-14 Yoshinori K. Okuji <okuji@enbug.org>
|
||||||
|
|
||||||
* normal/menu.c (run_menu_entry):
|
|
||||||
|
|
||||||
* normal/command.c (grub_command_execute): If INTERACTIVE is
|
* normal/command.c (grub_command_execute): If INTERACTIVE is
|
||||||
false and GRUB_COMMAND_FLAG_NO_ECHO is not specified, print
|
false and GRUB_COMMAND_FLAG_NO_ECHO is not specified, print
|
||||||
CMDLINE. Disable the pager if INTERACTIVE is true.
|
CMDLINE. Disable the pager if INTERACTIVE is true.
|
||||||
|
|||||||
Reference in new issue
Block a user