mirror of
https://github.com/microsoft/vscode.git
synced 2026-04-23 18:19:12 +01:00
51 lines
3.1 KiB
JSON
51 lines
3.1 KiB
JSON
/*---------------------------------------------------------------------------------------------
|
|
* Copyright (c) Microsoft Corporation. All rights reserved.
|
|
* Licensed under the MIT License. See License.txt in the project root for license information.
|
|
*--------------------------------------------------------------------------------------------*/
|
|
// Do not edit this file. It is machine generated.
|
|
{
|
|
"tag at": "Tag in {0}",
|
|
"remote branch at": "Ramo remoto in {0}",
|
|
"repourl": "URL del repository",
|
|
"parent": "Directory padre",
|
|
"cloning": "Clonazione del repository GIT...",
|
|
"openrepo": "Apri repository",
|
|
"proposeopen": "Aprire il repository clonato?",
|
|
"HEAD not available": "La versione HEAD di '{0}' non è disponibile.",
|
|
"confirm revert": "Ripristinare le modifiche selezionate in {0}?",
|
|
"revert": "Annulla modifiche",
|
|
"confirm discard": "Rimuovere le modifiche in {0}?",
|
|
"confirm discard multiple": "Rimuovere le modifiche in {0} file?",
|
|
"discard": "Rimuovi modifiche",
|
|
"confirm discard all": "Sei sicuro di voler annullare TUTTE le modifiche? Quest'azione è IRREVERSIBILE!",
|
|
"discardAll": "Rimuovi TUTTE le modifiche",
|
|
"no staged changes": "Non ci sono modifiche in stage di cui eseguire il commit.\n\nSI desidera mettere in stage automaticamente tutte le modifiche ed eseguirne il commit direttamente?",
|
|
"yes": "Sì",
|
|
"always": "Sempre",
|
|
"no changes": "Non ci sono modifiche di cui eseguire il commit.",
|
|
"commit message": "Messaggio di commit",
|
|
"provide commit message": "Specificare un messaggio di commit",
|
|
"select a ref to checkout": "Selezionare un ref di cui eseguire checkout",
|
|
"branch name": "Nome ramo",
|
|
"provide branch name": "Specificare un nome di ramo",
|
|
"select branch to delete": "Seleziona un ramo da cancellare",
|
|
"confirm force delete branch": "Il merge del ramo '{0}' non è completo. Elimina comunque?",
|
|
"delete branch": "Elimina ramo",
|
|
"select a branch to merge from": "Selezionare un ramo da cui eseguire il merge",
|
|
"merge conflicts": "Ci sono conflitti di merge. Risolverli prima di eseguire commit.",
|
|
"no remotes to pull": "Il repository non contiene elementi remoti configurati come origini del pull.",
|
|
"pick remote pull repo": "Selezionare un repository remoto da cui effettuare il pull del ramo",
|
|
"no remotes to push": "Il repository non contiene elementi remoti configurati come destinazione del push.",
|
|
"nobranch": "Estrarre un ramo per eseguire il push in un elemento remoto.",
|
|
"pick remote": "Selezionare un repository remoto in cui pubblicare il ramo '{0}':",
|
|
"sync is unpredictable": "Questa azione consentirà di effettuare il push e il pull di commit da e verso '{0}'.",
|
|
"ok": "OK",
|
|
"never again": "OK, non visualizzare più",
|
|
"no remotes to publish": "Il repository non contiene elementi remoti configurati come destinazione della pubblicazione.",
|
|
"disabled": "GIT è disabilitato oppure non supportato in quest'area di lavoro",
|
|
"clean repo": "Pulire l'albero di lavoro del repository prima dell'estrazione.",
|
|
"cant push": "Impossibile effettuare il push in remoto. Effettua prima un 'pull' per integrare le tue modifiche.",
|
|
"git error details": "GIT: {0}",
|
|
"git error": "Errore GIT",
|
|
"open git log": "Apri log GIT"
|
|
} |