grub-customizer

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

Refresh
Refresh
Source Files
Filename Size Changed
grub-customizer_5.1.0-7.debian.tar.xz 0000007880 7.7 KB over 1 year
grub-customizer_5.1.0-7.dsc 0000001007 1007 Bytes over 1 year
grub-customizer_5.1.0.orig.tar.xz 0000298340 291 KB over 1 year
Comments for grub-customizer 0