diff options
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 |