diff options
Diffstat (limited to '')
| -rw-r--r-- | l10n-fr/mail/chrome/messenger/devtools/dbgserver.properties | 15 |
1 files changed, 15 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..5820eed43e --- /dev/null +++ b/l10n-fr/mail/chrome/messenger/devtools/dbgserver.properties @@ -0,0 +1,15 @@ +# This Source Code Form is subject to the terms of the Mozilla Public +# License, v. 2.0. If a copy of the MPL was not distributed with this +# file, You can obtain one at http://mozilla.org/MPL/2.0/. + +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. |