mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-28 01:59:49 +00:00
* normal/menu.c: Include grub/script.h.
* normal/menu_entry.c: Likewise.
* include/grub/normal.h: Do not include grub/script.h.