|
| From: | Dmitry Gutov |
| Subject: | bug#34221: [PATCH] Make project-files work with remote files |
| Date: | Sat, 2 Feb 2019 03:10:49 +0300 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:65.0) Gecko/20100101 Thunderbird/65.0 |
On 01.02.2019 11:14, Michael Albinus wrote:
It's according to the docs. remote-id is the result of a file-remote-p call, which says in its docstring
I see. If you like to push the patch yourself, please go ahead.
| [Prev in Thread] | Current Thread | [Next in Thread] |