Note a tool replacement and change the name to be a bit closer to the old one.

This commit is contained in:
Eric S. Raymond 2007-05-21 20:27:21 +00:00
parent deae467105
commit 42b9f173d9