mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-26 09:10:53 +00:00
add a new command hiddenmenu.
This commit is contained in:
1 parent
5ad5c7796a
commit
21236a8556
5 files changed
+85
-4
No files matched your search
@@ -688,6 +688,7 @@ typedef enum
|
||||
kernel_t;
|
||||
|
||||
extern kernel_t kernel_type;
|
||||
extern int show_menu;
|
||||
extern int grub_timeout;
|
||||
|
||||
void init_builtins (void);
|
||||
|
||||
Reference in new issue
Block a user