On Fri, Apr 29, 2005 at 12:31:01PM -0500, Zoltan Hidvegi wrote: > > If you think this tool is useful, I can check it in under TOOLS. Sounds useful to me, you have write access so decide for yourself. If you commit, please document it in TOOLS/README. Diego