[m-dev.] Diff: Error in .opt file output

Simon Taylor stayl at cs.mu.oz.au
Fri Nov 21 09:20:48 AEDT 1997

Previous message: [m-dev.] Diff: Error in .opt file output
Next message: export declarations
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

> > Estimated hours taken: 1
> > 
> > Fix a bug in the writing of .opt files.

Thanks Andrew, commit away.

Simon.

Previous message: [m-dev.] Diff: Error in .opt file output
Next message: export declarations
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the developers mailing list