Colin Watson d064b83056 * util/grub.d/20_linux_xen.in: Honour GRUB_CMDLINE_LINUX_XEN_REPLACE
and GRUB_CMDLINE_LINUX_XEN_REPLACE_DEFAULT, which replace
GRUB_CMDLINE_LINUX and GRUB_CMDLINE_LINUX_DEFAULT (complementing the
existing options which append).
* docs/grub.texi (Simple configuration): Document new options.
Reported by: Ian Jackson.  Fixes Debian bug #617538.
2011-05-17 18:10:29 +01:00
..
2010-09-19 18:54:45 +05:30
2010-09-15 14:46:53 +02:00
2011-05-16 21:50:24 +02:00
2010-07-02 19:35:07 +02:00
2011-05-17 14:05:52 +02:00
2010-09-02 17:15:53 +02:00
2010-11-26 12:26:37 +00:00
2010-12-03 08:55:57 +05:30
2010-05-06 11:34:04 +05:30
2010-08-19 16:54:00 +05:30
2011-04-08 13:59:07 +02:00