[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [External] : Editions to the Widget Manual
|
From: |
Drew Adams |
|
Subject: |
RE: [External] : Editions to the Widget Manual |
|
Date: |
Sun, 20 Aug 2023 21:59:04 +0000 |
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.
Whether that happens or not, thanks again for
doing this. It will really help, I'm sure.