Vladimir Testov ad297ec734 * grub-core/gfxmenu/gui_list.c: New options for scrollbar padding: ... scrollbar_left_pad, scrollbar_right_pad, scrollbar_top_pad, scrollbar_bottom_pad * docs/grub.texi: Likewise.		2013-10-09 16:55:16 +04:00
..
man	* docs/man/grub-glue-efi.h2m: Add missing file.	2013-04-13 02:26:34 +02:00
Makefile.am	Fix make dist.	2012-02-28 12:58:57 +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	Move OS-dependent files to grub-core/osdep and document it.	2013-10-08 17:30:22 +02:00
grub.cfg	* docs/grub.cfg: Update.	2012-05-04 00:30:15 +02:00
grub.texi	* grub-core/gfxmenu/gui_list.c: New options for scrollbar padding:	2013-10-09 16:55:16 +04:00
mdate-sh	2008-03-01 Yoshinori K. Okuji <okuji@enbug.org>	2008-03-01 17:27:51 +00:00
texinfo.tex	remove all trailing whitespace	2009-06-10 21:04:23 +00:00