grub-customizer

Grub Customizer is a graphical interface to configure the GRUB2/BURG settings and menu entries.

Refresh
Refresh
Source Files
Filename Size Changed
grub-customizer_5.0.6-7.debian.tar.xz 0000008424 8.23 KB about 3 years
grub-customizer_5.0.6-7.dsc 0000000997 997 Bytes about 3 years
grub-customizer_5.0.6.orig.tar.xz 0000319248 312 KB about 3 years
Comments for grub-customizer 0