[m-rev.] diff/for review:

[Julien Fischer]

On Tue, 17 Apr 2007, Zoltan Somogyi wrote:

> configure.in:
> 	Provide an option, --enable-mmos-grades, for installing the mmos
> 	grades. At the moment this is only for mmos developers (i.e. me).

That's fine.

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