diff --git a/toolkit/locales/en-US/chrome/global/devtools/toolbox.dtd b/toolkit/locales/en-US/chrome/global/devtools/toolbox.dtd index cb7fda5a9f..1823170eb4 100644 --- a/toolkit/locales/en-US/chrome/global/devtools/toolbox.dtd +++ b/toolkit/locales/en-US/chrome/global/devtools/toolbox.dtd @@ -79,7 +79,7 @@ - checkbox that toggles remote debugging, i.e. devtools.debugger.remote-enabled - boolean preference in about:config, in the options panel. --> - +