bug#34221: [PATCH] Make project-files work with remote files

[Felicián Németh]

Hello Dmitry,

Dmitry Gutov <dgutov@yandex.ru> wrote:
>
> Looks good to me, except project--file-remote-name could do with a
> rename. At least call it ...-remote-nameS, maybe?

I don't know if it is still necessary, but I updated the patch with
renaming the defun in question by appending an "s" to its name.

Thanks,
Felicián
(ps. I've singed the copyright papers.)

0001-Make-project-files-work-with-remote-files.patch
Description: Text Data