Samuel Dionne-Riel 41e7de42de Use a themed grub for the installer image
This replaces systemd-boot with grub, it is at feature parity, as in it
can do everything systemd-boot did in the previous commit.
2018-08-24 13:04:56 -04:00
..
2018-08-23 01:42:34 +00:00
2018-08-13 19:53:50 +02:00