Move deprecated grub-mkconfig options to a separate table
authorColin Watson <cjwatson@ubuntu.com>
Fri, 29 Nov 2013 14:59:25 +0000 (14:59 +0000)
committerColin Watson <cjwatson@ubuntu.com>
Fri, 29 Nov 2013 14:59:25 +0000 (14:59 +0000)
commit471b2683e7da1d6d04fef581ac63424bb57f4eac
tree526f8d154a40186c133e60a0693d49761aeb09bf
parent827d87e9d6d4d80a87170cca1a6b7396460f4107
Move deprecated grub-mkconfig options to a separate table

Suggested by Andrey Borzenkov.
docs/grub.texi