2008-08-13 Robert Millan <rmh@aybabtu.com>

* docs/grub.cfg: Remove `/dev/' prefix in GNU/Hurd boot entry.
This commit is contained in:
robertmh 2008-08-13 16:59:12 +00:00
parent a196752277
commit 7161f0e02b
2 changed files with 5 additions and 1 deletions

View file

@ -1,3 +1,7 @@
2008-08-13 Robert Millan <rmh@aybabtu.com>
* docs/grub.cfg: Remove `/dev/' prefix in GNU/Hurd boot entry.
2008-08-13 Robert Millan <rmh@aybabtu.com>
* docs/grub.cfg: Use the native device name for the example GNU/Hurd