[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