[m-rev.] for review: start using the new code in file_names.m

[Zoltan Somogyi]

On 2023-06-20 13:37 +02:00 CEST, "Julien Fischer" <jfischer at opturion.com> wrote:
>> The attached diff, which includes the one you sent, does this.
> 
> I assume you are intending to commit this at some point?

Done.

Zoltan.