grub-customizer

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

Refresh
Refresh
Source Files
Filename Size Changed Actions
grub-customizer_5.1.0-7.debian.tar.xz 0000008016 7.83 KB over 1 year
grub-customizer_5.1.0-7.dsc 0000001021 1021 Bytes over 1 year
grub-customizer_5.1.0.orig.tar.xz 0000298704 292 KB over 1 year
Comments for grub-customizer 0