mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-24 16:19:22 +00:00
Help message changes, and a little fix for partition hiding.
This commit is contained in:
1 parent
82889257ad
commit
99c588976f
5 files changed
+385
-400
No files matched your search
+2
-5
@@ -598,11 +598,8 @@ int open_partition (void);
|
||||
/* Sets device to the one represented by the SAVED_* parameters. */
|
||||
int make_saved_active (void);
|
||||
|
||||
/* Hide a partition. */
|
||||
int hide_partition (void);
|
||||
|
||||
/* Unhide a partition. */
|
||||
int unhide_partition (void);
|
||||
/* Set or clear the current root partition's hidden flag. */
|
||||
int set_partition_hidden_flag (int hidden);
|
||||
|
||||
/* Open a file or directory on the active device, using GRUB's
|
||||
internal filesystem support. */
|
||||
|
||||
Reference in new issue
Block a user