From 2ab4d666fb3909c45718ebe5e85725a1c72f754e Mon Sep 17 00:00:00 2001 From: JustOff Date: Mon, 18 Jun 2018 18:51:16 +0300 Subject: Correct the browser and platform names in `devtools\client` --- devtools/client/locales/en-US/webide.dtd | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'devtools/client/locales/en-US/webide.dtd') diff --git a/devtools/client/locales/en-US/webide.dtd b/devtools/client/locales/en-US/webide.dtd index 5e1a80ccd..554488f6d 100644 --- a/devtools/client/locales/en-US/webide.dtd +++ b/devtools/client/locales/en-US/webide.dtd @@ -2,7 +2,11 @@ - 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/. --> - + + %brandDTD; + + @@ -59,7 +63,7 @@ - + -- cgit v1.2.3