[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [External] : Editions to the Widget Manual
|
From: |
Mauro Aranda |
|
Subject: |
Re: [External] : Editions to the Widget Manual |
|
Date: |
Mon, 21 Aug 2023 11:35:38 -0300 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.13.0 |
On 20/8/23 18:59, Drew Adams wrote:
> Thanks for working on this, Mauro!
>
> I don't work with texi (the original texi text
> or patches or patched), but if you can point to
> a non-texi version of the patched text (e.g.
> plain-text or other) then if/when I get some
> time I'll take a look.
I see that Yuan posted both the old version and the new one
to the list. Is that OK for you?
If you find the time, I'll really appreciate your comments.