- upstream fixes

Marius Burkard

2016-02-16 34c940ecf6fe0fadd1f323d59750abedbbcdeda6

1
2
3
4
<?php
$wb['list_head_txt'] = 'Configuración del servidor';
$wb['server_name_txt'] = 'Servidor';
?>