On Fri, Dec 24, 2021 at 10:47:15PM -0800, Per Bothner wrote:
> I checked in fixes for these problems. I also uploaded an updated
> https://domterm.org
I had a look and it works great!
BTW I found this email in my spam folder so missed it the first time.
> On 12/21/21 12:28, Gavin Smith wrote:
>
I checked in fixes for these problems. I also uploaded an updated
https://domterm.org
On 12/21/21 12:28, Gavin Smith wrote:
Unrelated to your original message, but looking at those pages, I
noticed a few problems with info.js:
* Typing "i" brings up the index search box, but there is no index
On Sat, Oct 09, 2021 at 06:42:11PM -0700, Per Bothner wrote:
> Compare
> https://domterm.org/Wire-byte-protocol.html
> with
> https://domterm.org/Frontends.html
>
Unrelated to your original message, but looking at those pages, I
noticed a few problems with info.js:
* Typing "i" brings up
