help.html: prevent firefox quick find using '/' key
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 25 Sep 2022 20:51:45 +0000 (13:51 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 25 Sep 2022 20:51:45 +0000 (13:51 -0700)
commit1ac3b1b74cf922ee5c3e51af266677141d37d892
tree8bbbb13eff628fa53e6180affca2f63e31fe933f
parentcecb978bae17cfda6701194d6e7739d5d041f039
help.html: prevent firefox quick find using '/' key
basis/help/html/html.factor
extra/webapps/help/search.js