mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-23 07:39:22 +00:00
merge mine and abranches' branches. Fix several issues
This commit is contained in:
commit
a057797f18
11 files changed
+72
-19
No files matched your search
@@ -26,6 +26,7 @@
|
||||
#include <grub/device.h>
|
||||
|
||||
grub_err_t (*grub_file_net_seek) (struct grub_file *file, grub_off_t offset) = NULL;
|
||||
void (*EXPORT_VAR (grub_grubnet_fini)) (void);
|
||||
|
||||
grub_file_filter_t grub_file_filters_all[GRUB_FILE_FILTER_MAX];
|
||||
grub_file_filter_t grub_file_filters_enabled[GRUB_FILE_FILTER_MAX];
|
||||
|
||||
Reference in new issue
Block a user