]> gitweb.factorcode.org Git - factor.git/commit
webapps.help: improve when no results found
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 20 Jan 2022 16:53:13 +0000 (08:53 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 20 Jan 2022 16:53:13 +0000 (08:53 -0800)
commit0137f0f4dcf93760295399ed2dd5abf883fefa62
tree143391385d962906ce280d7e0114c5ced035f33a
parent3d904a6b5e54727b5e2686a4c7ec9fa7770eaecf
webapps.help: improve when no results found
extra/webapps/help/help.factor
extra/webapps/help/search.css
extra/webapps/help/search.xml