Joshua M. Boniface c83145f9c5 Adjust GRUB_DIST and add UEFI regeneration
Keeps the UEFI boot list cleaned and consistent
2022-11-01 02:30:52 -04:00
..
2019-06-09 00:52:18 -04:00
2021-06-29 18:16:02 -04:00