[m-dev.] diff: even more changes for .nocopyright

[Tyson Dowd]

As a result of this final change, .nocopyright now seems to work.

If cvs is annoying you about checking in files without copyright
messages, and you know that they shouldn't have a copyright message,
simply add a `.nocopyright' file to the directory with one file per
line and cvs add the .nocopyright file.  (Sorry, no wildcards in the
.nocopyright files).  Then commit the new file and the changes together.

If you have remote write access to the CVS repository, you should now
be able to commit any file you like remotely.

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