[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#38818: Dired: mention deleting buffers, not just windows
From: |
Eli Zaretskii |
Subject: |
bug#38818: Dired: mention deleting buffers, not just windows |
Date: |
Sat, 11 Jan 2020 11:40:20 +0200 |
> From: Richard Stallman <rms@gnu.org>
> Date: Wed, 01 Jan 2020 18:18:44 -0500
> Cc: michael_heerdegen@web.de, jidanni@jidanni.org, 38818@debbugs.gnu.org
>
> How about this addition?
>
> diff --git a/doc/lispref/modes.texi b/doc/lispref/modes.texi
> index 7354eb1..b52871e 100644
> --- a/doc/lispref/modes.texi
> +++ b/doc/lispref/modes.texi
Thanks, I installed it.
- bug#38818: Dired: mention deleting buffers, not just windows, 積丹尼 Dan Jacobson, 2020/01/01
- bug#38818: Dired: mention deleting buffers, not just windows, Michael Heerdegen, 2020/01/01
- bug#38818: Dired: mention deleting buffers, not just windows, Drew Adams, 2020/01/01
- bug#38818: Dired: mention deleting buffers, not just windows, Noam Postavsky, 2020/01/01
- bug#38818: Dired: mention deleting buffers, not just windows, Richard Stallman, 2020/01/01
- bug#38818: Dired: mention deleting buffers, not just windows, Drew Adams, 2020/01/01
- bug#38818: Dired: mention deleting buffers, not just windows, Richard Stallman, 2020/01/02
- bug#38818: Dired: mention deleting buffers, not just windows,
Eli Zaretskii <=
- bug#38818: Dired: mention deleting buffers, not just windows, Drew Adams, 2020/01/01
- bug#38818: Dired: mention deleting buffers, not just windows, Pieter van Oostrum, 2020/01/01
- bug#38818: Dired: mention deleting buffers, not just windows, Michael Heerdegen, 2020/01/01
- bug#38818: Dired: mention deleting buffers, not just windows, 積丹尼 Dan Jacobson, 2020/01/03
- bug#38818: Dired: mention deleting buffers, not just windows, Pieter van Oostrum, 2020/01/03
- bug#38818: Dired: mention deleting buffers, not just windows, 積丹尼 Dan Jacobson, 2020/01/03
- bug#38818: Dired: mention deleting buffers, not just windows, Pieter van Oostrum, 2020/01/03
- bug#38818: Dired: mention deleting buffers, not just windows, 積丹尼 Dan Jacobson, 2020/01/03
- bug#38818: Dired: mention deleting buffers, not just windows, Pieter van Oostrum, 2020/01/04
- bug#38818: Dired: mention deleting buffers, not just windows, Richard Stallman, 2020/01/04