[m-dev.] Re: [mercury-users] Mercury 0.11.0 RPMs

[Ralph Becket]

Ralph Becket, Monday,  9 February 2004:
> Hi Fergus,
> 
> should we need to edit these jobs in future, whereabout are the scripts kept?

Ignore this - I've just seen your other e-mail on the subject.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------