Re: [m-users.] [mercury-users] .mh files
Anders Lundstedt <[email protected]> Wed, 17 Jul 2024 15:43:32 +0200
| Newsgroups | gmane.comp.lang.mercury.general |
|---|---|
| Message-ID | <CANGMbaYcdMHk1oqQ-VGFUg+R7zcMY70Z_V6-QLRSLbtzKty2+Q@mail.gmail.com> |
On Fri Aug 15 13:25:46 AEST 2003 Fergus Henderson wrote: >> On 13-Aug-2003, Michael Day <mikeday at yeslogic.com> wrote: >> >> Is there a way to make the .mh files live in the Mercury directory instead >> of cluttering up the current directory? > > Currently no. Is this possible now? _______________________________________________ users mailing list [email protected] https://lists.mercurylang.org/listinfo/users