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 0000007868 7.68 KB about 1 year
grub-customizer_5.1.0-7.dsc 0000001022 1022 Bytes about 1 year
grub-customizer_5.1.0.orig.tar.xz 0000298536 292 KB about 1 year
Comments for grub-customizer 0