grub-customizer
Grub Customizer is a graphical interface to configure the GRUB2/BURG settings and menuentries.
Source Files 
| Filename | Size | Changed | Actions |
|---|---|---|---|
| grub-customizer_5.0.8-7.debian.tar.xz | 00000080007.81 KB | 15312672003 months ago | 
|
| grub-customizer_5.0.8-7.dsc | 0000000976976 Bytes | 15312672143 months ago |
|
| grub-customizer_5.0.8.orig.tar.xz | 0000319536312 KB | 15312477923 months ago |
|
Login required, please login or signup in order to comment