[m-rev.] For review: Move some goal path/id related code into mdbcomp

[Zoltan Somogyi]

On 13-Jan-2011, Paul Bone <pbone at csse.unimelb.edu.au> wrote:
> I didn't 'cvs add' yet because I didn't want to commit to this file name (or
> the change without some (informal) review.  I can't remember if 'cvs add'
> modifies the repository or just the local copy.

"cvs add" of a directory modifies the repository, but "cvs add" of a file
modifies only the local copy. If you want to change the name after the add,
you can simply move the file, cvs add it under the new name, and remove the
mention of the old name in CVS/Entries; the next commit will then do the right
thing.

Zoltan.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------