bug-texinfo
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: js-info polishing

From: Per Bothner
Subject: Re: js-info polishing
Date: Tue, 27 Apr 2021 09:59:59 -0700
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.8.1 
I didn't get any feedback on changes mentioned in my 3/22 message,
but checked it in belatedly just now

To see the effect see
https://per.bothner.com/tmp/DomTerm-txjs-plain (default GNU styling)
or:https://per.bothner.com/tmp/DomTerm-txjs (DomTerm styling)
--
        --Per Bothner
per@bothner.com   http://per.bothner.com/
reply via email to
[Prev in Thread] Current Thread [Next in Thread]