mirror of
https://github.com/webmin/webmin.git
synced 2025-07-21 23:40:34 +00:00
7 lines
235 B
Plaintext
7 lines
235 B
Plaintext
grub_path=Path to grub executable,0
|
|
install=Install GRUB on disk/partition,0
|
|
menu_file=GRUB menu configuration file,0
|
|
line2=System configuration,11
|
|
device_map=File for device name mappings,3,Get from GRUB
|
|
line1=Configurable options,11
|