[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: |
Stefan Kangas |
|
Subject: |
bug#37120: [PATCH] Prefer display-line-numbers over linum in docs and custom |
|
Date: |
Thu, 22 Aug 2019 15:27:53 +0200 |
Robert Pluim <rpluim@gmail.com> writes:
> 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.
Thanks,
Stefan Kangas
0001-Prefer-display-line-numbers-over-linum-in-docs-and-o.patch
Description: Text Data
- 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 <=
- bug#37120: [PATCH] Prefer display-line-numbers over linum in docs and custom, Eli Zaretskii, 2019/08/24
- bug#37120: [PATCH] Prefer display-line-numbers over linum in docs and custom, Stefan Kangas, 2019/08/26