Update tools directory name.
authorBruce Momjian <bruce@momjian.us>
Wed, 6 Sep 2006 22:03:22 +0000 (22:03 +0000)
committerBruce Momjian <bruce@momjian.us>
Wed, 6 Sep 2006 22:03:22 +0000 (22:03 +0000)
commit791feb3257bf0c361bcc59e96a287264e9109663
tree410ddc7df7d40422fc323288c76b69011fedd9d2
parent27e1baad312453839e09e0b466e050a26745b922
Update tools directory name.
doc/FAQ_DEV
doc/src/FAQ/FAQ_DEV.html