Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Attachment #210440
Patch for /etc/grub.d/10_linux patch 2009-11-16 21:34:03 UTC 592 bytes no flags Details
Attachment #210567
Corrected patch patch 2009-11-18 11:00:02 UTC 592 bytes no flags Details