Carlos Alberto Lopez Perez 20996d0da3 grub-generator: If OSTREE_BOOT_PARTITION is not set, default to /boot ...

Closes: #1326
Approved by: cgwalters

2017-11-15 14:03:24 +00:00

..

grub2-15_ostree

Introducing ostree-grub-generator

2016-04-04 14:19:35 +00:00

ostree-grub-generator

grub-generator: If OSTREE_BOOT_PARTITION is not set, default to /boot

2017-11-15 14:03:24 +00:00