diff options
Diffstat (limited to '')
| -rw-r--r-- | l10n-fr/mail/chrome/messenger/devtools/dbgserver.properties | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/l10n-fr/mail/chrome/messenger/devtools/dbgserver.properties b/l10n-fr/mail/chrome/messenger/devtools/dbgserver.properties new file mode 100644 index 0000000000..c7b3a4a0dc --- /dev/null +++ b/l10n-fr/mail/chrome/messenger/devtools/dbgserver.properties @@ -0,0 +1,11 @@ +options.stop.label=Arrêter le serveur des outils de développement +options.start.label=Démarrer le serveur des outils de développement + +options.connected.label=#1 client connecté;#1 clients connectés +options.connected.tooltip=Le serveur des outils de développement est en cours d’exécution et des clients sont connectés. +options.listening.label=En attente +options.listening.tooltip=Le serveur des outils de développement est en cours d’exécution et en attente de connexion. +options.idle.label=Inactif +options.idle.tooltip=Le serveur des outils de développement n’est pas en cours d’exécution. Vous pouvez le démarrer depuis ce dialogue. +options.unsupported.label=Non pris en charge +options.unsupported.tooltip=Une erreur s’est produite lors du chargement du serveur des outils de développement intégrés. Assurez-vous qu’il soit empaqueté et consultez les messages de la console d’erreurs. |