diff options
Diffstat (limited to 'plugins/managesieve/localization/it_IT.inc')
| -rw-r--r-- | plugins/managesieve/localization/it_IT.inc | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/plugins/managesieve/localization/it_IT.inc b/plugins/managesieve/localization/it_IT.inc index 9fc7dc570..6042bf8e0 100644 --- a/plugins/managesieve/localization/it_IT.inc +++ b/plugins/managesieve/localization/it_IT.inc @@ -159,8 +159,6 @@ $labels['asciicasemap'] = 'non differenziare maiuscole/minuscole (ascii-casemap) $labels['asciinumeric'] = 'numerico'; $labels['index'] = 'indice:'; $labels['indexlast'] = 'indietro'; - -$messages = array(); $messages['filterunknownerror'] = 'Errore sconosciuto del server'; $messages['filterconnerror'] = 'Collegamento al server managesieve fallito'; $messages['filterdeleteerror'] = 'Eliminazione del filtro fallita. Si è verificato un errore nel server'; @@ -193,5 +191,4 @@ $messages['namereserved'] = 'nome riservato'; $messages['setexist'] = 'Il gruppo esiste già'; $messages['nodata'] = 'selezionare almeno una posizione'; $messages['invaliddateformat'] = 'Formato della data non valido'; - ?> |