Steve Langasek b66cc28507 Factor out grub-related diversions and use them consistently, so we
don't end up with wrong os-probe output in our grub.cfg.
2017-10-05 16:01:04 +02:00
..
2016-02-06 23:31:54 -08:00
2015-04-08 09:34:15 +01:00
2015-04-08 09:34:15 +01:00
2015-04-08 09:34:15 +01:00