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

Thu, 02 Jul 2020 10:48:07 -0700 

commit efef09049c94ee5a712975d43e5ca9813a7f15ea
Author: Translation commit bot <translat...@torproject.org>
Date:   Thu Jul 2 17:47:31 2020 +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 cee7ce8628..96443d6a9e 100644
--- a/fr/brand.dtd
+++ b/fr/brand.dtd
@@ -5,7 +5,7 @@
 <!ENTITY  brandShorterName      "Le Navigateur Tor">
 <!ENTITY  brandShortName        "Le Navigateur Tor">
 <!ENTITY  brandFullName         "Le Navigateur Tor">
-<!ENTITY  vendorShortName       "Le Projet Tor">
+<!ENTITY  vendorShortName       "Le Projet Tor">
 <!ENTITY  trademarkInfo.part1   "« Tor » et le « logo Onion » sont des 
marques de commerce de « The Projet Tor, Inc. »">
 <!-- LOCALIZATION NOTE (brandProductName):
    This brand name can be used in messages where the product name needs to


_______________________________________________
tor-commits mailing list
tor-commits@lists.torproject.org
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-commits

Reply via email to