# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1473014221 -10800
# Node ID 9d550f4d916378579e652648cd2e90c62f7cfe83
# Parent  10204d8083998f86e84edebf90cca62c6791e4e4
https://developer.mozilla.org/en-US/docs/Tools/Debugger

diff -r 10204d808399 -r 9d550f4d9163 firefox-devel.rst
--- a/firefox-devel.rst	Sat Sep 03 19:47:38 2016 +0300
+++ b/firefox-devel.rst	Sun Sep 04 21:37:01 2016 +0300
@@ -115,10 +115,10 @@
   user_pref("devtools.debugger.remote-host", "localhost");
   user_pref("devtools.debugger.remote-port", 6000);
 
-See:
-
-  https://developer.mozilla.org/en/Setting_up_extension_development_environment
-                setting up profile, options and about developer plugin
+https://developer.mozilla.org/en/Setting_up_extension_development_environment
+  Setting up profile, options and about developer plugin.
+https://developer.mozilla.org/en-US/docs/Tools/Debugger
+  JavaScript Debugger.
 
 Debugging JavaScript with Web Console.
 --------------------------------------