Andrey Borzenkov 5b99970eb7 grub-reboot no more sets saved_default ... Remove reference to grub-default from description of saved default entry. Also mention that GRUB_DEFAULT=saved depends on availability of environment block.		2013-11-10 18:24:27 +04:00
..
man	* docs/man/grub-glue-efi.h2m: Add missing file.	2013-04-13 02:26:34 +02:00
autoiso.cfg	* docs/autoiso.cfg: New file.	2013-10-27 20:34:24 +01:00
fdl.texi	2008-03-01 Yoshinori K. Okuji <okuji@enbug.org>	2008-03-01 17:27:51 +00:00
font_char_metrics.png	GRUB developper manual based on existing Internals section and	2011-04-03 15:30:28 +02:00
font_char_metrics.txt	GRUB developper manual based on existing Internals section and	2011-04-03 15:30:28 +02:00
grub-dev.texi	* grub-core/gfxmenu/gui_box.c: Updated to work with area status.	2013-11-08 15:42:38 +04:00
grub.cfg	* docs/grub.cfg: Update.	2012-05-04 00:30:15 +02:00
grub.texi	grub-reboot no more sets saved_default	2013-11-10 18:24:27 +04:00
Makefile.am	Fix make dist.	2012-02-28 12:58:57 +01:00
mdate-sh	2008-03-01 Yoshinori K. Okuji <okuji@enbug.org>	2008-03-01 17:27:51 +00:00
osdetect.cfg	* docs/osdetect.cfg: New file.	2013-10-26 18:39:03 +02:00
texinfo.tex	remove all trailing whitespace	2009-06-10 21:04:23 +00:00