[m-dev.] problem with the rotds

[Julien Fischer]

On Thu, 14 Jan 2010, Peter Ross wrote:

> The current rotds contains a file .enable_lib_grades which overrides
> the command line selection of grades

It shouldn't contain that file.  I'll take a look at this since I'm
pretty sure I know what the problem is.  In the meantime, just delete
that file.

Julien.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------