Synopsis: [patch] updates to developers handbook: tools section Responsible-Changed-From-To: freebsd-doc->pgj Responsible-Changed-By: pgj Responsible-Changed-When: Sun Jul 6 21:50:00 UTC 2008 Responsible-Changed-Why: I will take it. http://www.freebsd.org/cgi/query-pr.cgi?pr=125346