Handle hostnames with upper-case letters

[webmin.git] / grub / config.info.de

line1=Konfigurierbare Optionen,11
install=Installiere GRUB auf Festplatte/Partition,0
line2=Systemkonfiguration,11
menu_file=GRUB-Menu Konfigurationsdatei,0
grub_path=Pfad zur ausführbaren Datei von GRUB,0
device_map=Datei für die Geräte-Map-Datei,3,Aus GRUB ermitteln