[skip ci] Updated translations via Crowdin

2020-09-06 19:54:31 +00:00
parent f7b3e06026
commit 0b198eb392
15 changed files with 3 additions and 15 deletions
@@ -788,7 +788,6 @@ editor.file_deleting_no_longer_exists=Il file che si sta per eliminare, '%s', no
 editor.file_changed_while_editing=I contenuti di questo file hanno subito dei cambiamenti da quando hai iniziato la modifica. <a target="_blank" rel="noopener noreferrer" href="%s">Clicca qui</a> per visualizzarli o <strong>Committa nuovamente i Cambiamenti</strong> per sovrascriverli.
 editor.file_already_exists=Un file di nome '%s' esiste già in questo repository.
 editor.commit_empty_file_header=Commit di un file vuoto
-editor.commit_empty_file_text=Il file di cui stai facendo un commit è vuoto. Procedere?
 editor.no_changes_to_show=Non ci sono cambiamenti da mostrare.
 editor.fail_to_update_file=Errore durante l'aggiornamento/ creazione del file '%s' con errore: %v
 editor.push_rejected_no_message=La modifica è stata rifiutata dal server senza un messaggio. Controlla githooks.