mirror of
https://git.savannah.gnu.org/git/gnuboot.git
synced 2025-01-05 07:47:41 +01:00
7c998b4538
There is already a separate menuentry for USB, and most people don't boot their installed system from USB anyway. This will result in faster boot speeds. |
||
---|---|---|
.. | ||
AUTHORS | ||
COPYING | ||
grub.cfg | ||
grub_memdisk.cfg |