mirror of
https://github.com/webmin/webmin.git
synced 2025-08-19 01:15:14 +00:00
5 lines
293 B
JavaScript
5 lines
293 B
JavaScript
hide_dot_files=¿Mostrar archivos que comienzan con punto?,1,0-Sí,1-No
|
|
iconsize=Tamaño de botones en la barra de herramientas,1,1-Pequeño,0-Grande con etiquetas
|
|
nocharset=¿Intentar usar el juego de caracteres apropiado?,1,0-Sí,1-No
|
|
extract=¿Extraer archivos .class del JAR?,1,1-Sí,0-No
|