mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-23 15:49:23 +00:00
Merge Aleš' latest patch
This commit is contained in:
1 parent
778ff32476
commit
7d4873c26a
8 files changed
+206
-57
No files matched your search
@@ -18,7 +18,6 @@
|
||||
*/
|
||||
|
||||
#include <grub/term.h>
|
||||
#include <grub/machine/console.h>
|
||||
#include <grub/time.h>
|
||||
#include <grub/cpu/io.h>
|
||||
#include <grub/misc.h>
|
||||
|
||||
Reference in new issue
Block a user