diff options
author | JustOff <Off.Just.Off@gmail.com> | 2016-11-19 19:32:38 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-19 19:32:38 +0200 |
commit | 96b3c5bd8e2ab4a6f0a3466d8c05ba9daf009170 (patch) | |
tree | 4e4d6288663b263da299b1cd72cebc6ecd799beb /toolkit/locales/en-US/chrome/global/devtools | |
parent | 835d1263068e1fd689b91ec23956c6d31cb8e8c7 (diff) | |
download | palemoon-gre-96b3c5bd8e2ab4a6f0a3466d8c05ba9daf009170.tar.gz |
options.selectDefaultTools.label
Diffstat (limited to 'toolkit/locales/en-US/chrome/global/devtools')
-rw-r--r-- | toolkit/locales/en-US/chrome/global/devtools/toolbox.dtd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toolkit/locales/en-US/chrome/global/devtools/toolbox.dtd b/toolkit/locales/en-US/chrome/global/devtools/toolbox.dtd index c2a2af429..cb7fda5a9 100644 --- a/toolkit/locales/en-US/chrome/global/devtools/toolbox.dtd +++ b/toolkit/locales/en-US/chrome/global/devtools/toolbox.dtd @@ -96,7 +96,7 @@ <!-- LOCALIZATION NOTE (options.selectDefaultTools.label): This is the label for - the heading of group of checkboxes corresponding to the default developer - tools. --> -<!ENTITY options.selectDefaultTools.label "Default Firefox Developer Tools"> +<!ENTITY options.selectDefaultTools.label "Default Pale Moon Developer Tools"> <!-- LOCALIZATION NOTE (options.selectAdditionalTools.label): This is the label for - the heading of group of checkboxes corresponding to the developer tools |