diff options
Diffstat (limited to 'i18n/fra/src/vs/workbench/parts/extensions/electron-browser/extensionProfileService.i18n.json')
-rw-r--r-- | i18n/fra/src/vs/workbench/parts/extensions/electron-browser/extensionProfileService.i18n.json | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/i18n/fra/src/vs/workbench/parts/extensions/electron-browser/extensionProfileService.i18n.json b/i18n/fra/src/vs/workbench/parts/extensions/electron-browser/extensionProfileService.i18n.json index ea087f85fa6..8968ae34eb7 100644 --- a/i18n/fra/src/vs/workbench/parts/extensions/electron-browser/extensionProfileService.i18n.json +++ b/i18n/fra/src/vs/workbench/parts/extensions/electron-browser/extensionProfileService.i18n.json @@ -6,6 +6,8 @@ "--------------------------------------------------------------------------------------------", "Do not edit this file. It is machine generated." ], + "restart1": "Profiler les extensions", + "restart2": "Un redémarrage est nécessaire pour profiler les extensions. Voulez-vous redémarrer '{0}' maintenant ?", "restart3": "Redémarrer", "cancel": "Annuler", "selectAndStartDebug": "Cliquer pour arrêter le profilage" |