* Actually run update-grub after changing kopts.
authorMatthijs Kooijman <matthijs@drsnuggles.stderr.nl>
Tue, 17 Jun 2008 19:51:00 +0000 (21:51 +0200)
committerMatthijs Kooijman <matthijs@drsnuggles.stderr.nl>
Tue, 17 Jun 2008 19:51:00 +0000 (21:51 +0200)
commita71d425af40239f132002e1910c0c9bb02837e15
tree501355cb8b6d1c8243cb1928a3fdcbb419c7b926
parent1c5230d62f56e4d26f750f688fbd3283b5574d86
 * Actually run update-grub after changing kopts.
boot/grub/menu.lst