[m-dev.] cvspatch

[Zoltan Somogyi]

I created a shell script that takes the output of a cvs diff from another
workspace and applies the changes in that diff to the current workspace.
(Patch by itself can't do this, because cvs diff does not put the directory
names where patch expects them.) The script is in ~/zs/bin/script/cvspatch.

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
--------------------------------------------------------------------------