help.html: only input.focus().
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 25 Sep 2022 21:01:07 +0000 (14:01 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 25 Sep 2022 21:01:07 +0000 (14:01 -0700)
commit8b7f7e5bd78a0b997659ae0470088564fbbe3df8
treeebc5cbbef44d5604e1f00dc9fa578957928621c1
parent4757b17d1b461c673ca493a87325c700e03b4fb7
help.html: only input.focus().
basis/help/html/html.factor
extra/webapps/help/search.js