Fix typo.
authorMike Taylor <mike@indexdata.com>
Mon, 26 Jul 2004 12:16:56 +0000 (12:16 +0000)
committerMike Taylor <mike@indexdata.com>
Mon, 26 Jul 2004 12:16:56 +0000 (12:16 +0000)
commit719e0dcf2d15c08086a06457701e21c6aff3d791
tree0212fae8ca809df8b09e27035b8483a9f21480ad
parent2097571f3770669012ec51e2973f4740a201f62f
Fix typo.
doc/tools.xml