[m-dev.] [reuse] diff: do local reuse only

[Peter Ross]

On Thu, Mar 08, 2001 at 04:41:12AM +1100, Fergus Henderson wrote:
> On 07-Mar-2001, Peter Ross <peter.ross at miscrit.be> wrote:
> > Index: pa_alias_as.m
> ...
> > -alias_limit = 500. % 100
> > -top_limit = 200.
> > +alias_limit = 500000. % 100
> > +top_limit = 200000.
> 
> That wasn't mentioned in the log message.
> 
I didn't check that in, and forgot to remove it from the diff.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------