[m-dev.] cvspatch

[Zoltan Somogyi]

> Could you please commit it to the tools directory?  I think it is a very
> useful thing to have, I have wanted such a tool on a number of
> occasions.

OK, I will.

How about other tools? Such as the cvslog scripts that has several versions
floating around, and Fergus's cvdr script?

Zoltan.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------