[m-dev.] file_names.m

Zoltan Somogyi zoltan.somogyi at runbox.com
Tue Jul 4 19:43:35 AEST 2023


Would anyone object to removing the old code from file_names.m?
The last change to it has been 13 days ago; has anyone found any problems
since then?

Zoltan.


More information about the developers mailing list