[m-dev.] problem with the rotds

[Peter Ross]

Hi,

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

Pete
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------