mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-23 23:59:22 +00:00
Some cleanups
This commit is contained in:
1 parent
debaf23f7c
commit
8ea6ecb36d
36 files changed
+34
-743
No files matched your search
@@ -24,7 +24,6 @@
|
||||
#include <grub/misc.h>
|
||||
#include <grub/env.h>
|
||||
#include <grub/mm.h>
|
||||
#include <grub/machine/kernel.h>
|
||||
|
||||
void
|
||||
grub_efi_init (void)
|
||||
|
||||
Reference in new issue
Block a user