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 | 15312672008 days ago | 
|
| grub-customizer_5.0.8-7.dsc | 0000000976976 Bytes | 15312672148 days ago |
|
| grub-customizer_5.0.8.orig.tar.xz | 0000319536312 KB | 15312477928 days ago |
|