[tor-commits] [translation/torbutton-branddtd_completed] https://gitweb.torproject.org/translation.git/commit/?h=torbutton-branddtd_completed

[translation at torproject.org]

commit 2a50040b69da414740af00f7938fee1914f2ddda
Author: Translation commit bot <translation at torproject.org>
Date:   Wed Oct 2 14:21:04 2019 +0000

    https://gitweb.torproject.org/translation.git/commit/?h=torbutton-branddtd_completed
---
 fr/brand.dtd | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/fr/brand.dtd b/fr/brand.dtd
index f60e14322..1002967c3 100644
--- a/fr/brand.dtd
+++ b/fr/brand.dtd
@@ -6,7 +6,7 @@
 <!ENTITY  brandShortName        "Le Navigateur Tor">
 <!ENTITY  brandFullName         "Le Navigateur Tor">
 <!ENTITY  vendorShortName       "Le Projet Tor">
-<!ENTITY  trademarkInfo.part1   "">
+<!ENTITY  trademarkInfo.part1   "« Tor » et le « logo Onion » sont des marques de commerce de « The Projet Tor, Inc. »">
 
 <!-- The following strings are for bug #10280's UI. We place them here for our translators -->
 <!ENTITY plugins.installed.find "Cliquer pour charger les greffons système installés">