robertmh 7161f0e02b 2008-08-13 Robert Millan <rmh@aybabtu.com> ... * docs/grub.cfg: Remove `/dev/' prefix in GNU/Hurd boot entry.		2008-08-13 16:59:12 +00:00
..
fdl.texi	2008-03-01 Yoshinori K. Okuji <okuji@enbug.org>	2008-03-01 17:27:51 +00:00
grub.cfg	2008-08-13 Robert Millan <rmh@aybabtu.com>	2008-08-13 16:59:12 +00:00
grub.texi	2008-03-01 Yoshinori K. Okuji <okuji@enbug.org>	2008-03-01 17:27:51 +00:00
mdate-sh	2008-03-01 Yoshinori K. Okuji <okuji@enbug.org>	2008-03-01 17:27:51 +00:00
texinfo.tex	2008-03-01 Yoshinori K. Okuji <okuji@enbug.org>	2008-03-01 17:27:51 +00:00