commit 8c4499c485cf956af42ee9e35ac5d73d0f96b321 Author: Translation commit bot translation@torproject.org Date: Tue Oct 15 17:22:41 2019 +0000

https://gitweb.torproject.org/translation.git/commit/?h=tor-launcher-network... --- fr/network-settings.dtd | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/fr/network-settings.dtd b/fr/network-settings.dtd index 17db9d969..2dd7ba237 100644 --- a/fr/network-settings.dtd +++ b/fr/network-settings.dtd @@ -26,7 +26,7 @@ <!ENTITY torsettings.optional "facultatif">

<!ENTITY torsettings.useProxy.checkbox "J’utilise un mandataire pour accéder à Internet"> -<!ENTITY torsettings.useProxy.type "Type de proxy"> +<!ENTITY torsettings.useProxy.type "Type de mandataire"> <!ENTITY torsettings.useProxy.type.placeholder "sélectionner un type de mandataire"> <!ENTITY torsettings.useProxy.address "Adresse"> <!ENTITY torsettings.useProxy.address.placeholder "adresse IP ou nom d’hôte">