Andrey Borzenkov 5945c2f849 Reimplement grub-reboot to not depend on saved_entry. Use next_entry
variable for one time boot menu entry.
2013-05-06 22:13:34 +04:00
..
2010-09-15 14:46:53 +02:00
2013-04-25 22:42:35 +02:00
2013-04-12 22:26:38 +02:00
2012-04-21 16:49:56 +02:00