# HG changeset patch # User Oleksandr Gavenko # Date 1350546395 -10800 # Node ID a8c75efa691e7e1715cb89b750a9f9f9b10f0390 # Parent 741a44fc99929f9f91053a9eb21cde93c4ca77e9 Fix header title. diff -r 741a44fc9992 -r a8c75efa691e firefox-devel.rst --- a/firefox-devel.rst Thu Oct 18 10:44:40 2012 +0300 +++ b/firefox-devel.rst Thu Oct 18 10:46:35 2012 +0300 @@ -6,8 +6,8 @@ ========================== .. contents:: -Useful developer plugin. -======================== +Useful Firefox add-ons for developers. +====================================== Firebug. --------