[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#37120: [PATCH] Prefer display-line-numbers over linum in docs and cu
From: |
Eli Zaretskii |
Subject: |
bug#37120: [PATCH] Prefer display-line-numbers over linum in docs and custom |
Date: |
Sat, 24 Aug 2019 09:54:53 +0300 |
> From: Stefan Kangas <stefan@marxist.se>
> Date: Thu, 22 Aug 2019 15:27:53 +0200
> Cc: Eli Zaretskii <eliz@gnu.org>, 37120@debbugs.gnu.org
>
> > All these variables/command should use @code{} rather than explicit quotes,
> > I
> > think.
>
> Oops, you are correct of course. Please find attached a patch fixing that.
LGTM, thanks.
- bug#37120: [PATCH] Prefer display-line-numbers over linum in docs and custom, Stefan Kangas, 2019/08/20
- bug#37120: [PATCH] Prefer display-line-numbers over linum in docs and custom, Eli Zaretskii, 2019/08/20
- bug#37120: [PATCH] Prefer display-line-numbers over linum in docs and custom, Stefan Kangas, 2019/08/20
- bug#37120: [PATCH] Prefer display-line-numbers over linum in docs and custom, Eli Zaretskii, 2019/08/21
- bug#37120: [PATCH] Prefer display-line-numbers over linum in docs and custom, Stefan Kangas, 2019/08/22
- bug#37120: [PATCH] Prefer display-line-numbers over linum in docs and custom, Robert Pluim, 2019/08/22
- bug#37120: [PATCH] Prefer display-line-numbers over linum in docs and custom, Stefan Kangas, 2019/08/22
- bug#37120: [PATCH] Prefer display-line-numbers over linum in docs and custom,
Eli Zaretskii <=
- bug#37120: [PATCH] Prefer display-line-numbers over linum in docs and custom, Stefan Kangas, 2019/08/26