[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Empty line after an environment & bug#35284: 12.1.1; new verbatim en
|
From: |
Denis Bitouzé |
|
Subject: |
Re: Empty line after an environment & bug#35284: 12.1.1; new verbatim environment wrongly commented out |
|
Date: |
Sat, 26 Dec 2020 13:57:21 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) |
Le 26/12/20 à 19h21, Ikumi Keita a écrit :
>> I'd say, let's first try without option and maybe add one later if
>> and only if someone complains.
Agree.
> Thanks, I installed the change with some comments added.
Nice addition, Ikumi: thanks!
--
Denis