Log Message:
-----------
Update tools directory name.
Modified Files:
--------------
pgsql/doc:
FAQ_DEV (r1.111 -> r1.112)
(http://developer.postgresql.org/cvsweb.cgi/pgsql/doc/FAQ_DEV.diff?r1=1.111&r2=1.112)
pgsql/doc/src/FAQ:
FAQ_DEV.html (r1.114 -> r1.115)
(http://developer.postgresql.org/cvsweb.cgi/pgsql/doc/src/FAQ/FAQ_DEV.html.diff?r1=1.114&r2=1.115)
---------------------------(end of broadcast)---------------------------
TIP 4: Have you searched our list archives?
http://archives.postgresql.org
