[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#34221: [PATCH] Make project-files work with remote files
From: |
Felicián Németh |
Subject: |
bug#34221: [PATCH] Make project-files work with remote files |
Date: |
Sat, 2 Feb 2019 09:36:48 +0100 |
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
- bug#34221: [PATCH] Make project-files work with remote files, Michael Albinus, 2019/02/01
- bug#34221: [PATCH] Make project-files work with remote files, Dmitry Gutov, 2019/02/01
- bug#34221: [PATCH] Make project-files work with remote files,
Felicián Németh <=
- bug#34221: [PATCH] Make project-files work with remote files, Michael Albinus, 2019/02/02
- bug#34221: [PATCH] Make project-files work with remote files, Felicián Németh, 2019/02/02
- bug#34221: [PATCH] Make project-files work with remote files, Dmitry Gutov, 2019/02/02
- bug#34221: [PATCH] Make project-files work with remote files, Michael Albinus, 2019/02/02
- bug#34221: [PATCH] Make project-files work with remote files, Dmitry Gutov, 2019/02/07
- bug#34221: [PATCH] Make project-files work with remote files, Michael Albinus, 2019/02/07
- bug#34221: [PATCH] Make project-files work with remote files, Michael Albinus, 2019/02/02