[m-rev.] for review: Put .mh files into Mercury/mhs subdirectory.
Julien Fischer
jfischer at opturion.com
Tue Jul 23 15:15:23 AEST 2024
Hi Peter,
On Tue, 23 Jul 2024 at 14:33, Peter Wang <novalazy at gmail.com> wrote:
>
> Put .mh files into Mercury/mhs subdirectory.
>
> Put .mh files into a Mercury/mhs subdirectory when --use-subdirs
> or --use-grade-subdirs is used.
My guess is that samples/c_interface/standalone_c and possibly some
of the other examples in samples/c_interface are going to require updating
as well.
Julien.
More information about the reviews
mailing list