Handle hostnames with upper-case letters

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

hide_dot_files=Zeige Dateien mit einem Punkt am Anfang?,1,0-Ja,1-Nein
iconsize=Größe der Buttons in der Toolbar,1,1-Klein,0-Groß mit Bildunterschrift
nocharset=Versuche passende Zeichensätze zu benutzen?,1,0-Ja,1-Nein
extract=.class-Dateien aus dem JAR extrahieren?,1,1-Ja,0-Nein