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.7-7.debian.tar.xz | 00000079407.75 KB | 15238652715 days ago | 
|
| grub-customizer_5.0.7-7.dsc | 0000000976976 Bytes | 15238652825 days ago |
|
| grub-customizer_5.0.7.orig.tar.xz | 0000326260319 KB | 15238649205 days ago |
|