[m-rev.] for review: add --reset-kb option to mdb dd command

[Peter Ross]

On 6/11/07, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> Since the rotd wasn't building because of the slice directory for
> quite a bit of last week, I think both they, and the your changes to
> the configure script, should be removed for now.
>
Done.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------