[m-dev.] problem with the rotds

Julien Fischer juliensf at csse.unimelb.edu.au
Thu Jan 14 11:27:10 AEDT 2010

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.

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

More information about the developers mailing list