|
| From: | 積丹尼 Dan Jacobson |
| Subject: | bug#38308: INFO files changed on disk: mention rereading workaround |
| Date: | Thu, 21 Nov 2019 23:00:22 +0800 |
Dired says the file changed on disk, use g to... Info doesn't. Therefore dired shouldn't either. Or info should at least add *one little itty bitty word* in its documentation about the issue.
| [Prev in Thread] | Current Thread | [Next in Thread] |