34274d0257
actual implementation. Specifically, clarify that the grub menu will be displayed for GRUB_TIMOUT seconds after the hidden timeout has passed. |
||
---|---|---|
.. | ||
man | ||
fdl.texi | ||
font_char_metrics.png | ||
font_char_metrics.txt | ||
grub-dev.texi | ||
grub.cfg | ||
grub.texi | ||
Makefile.am | ||
mdate-sh | ||
texinfo.tex |