]> gitweb.factorcode.org Git - factor.git/commit
webapps.search: adding a header to the search page
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 20 Jan 2022 17:58:54 +0000 (09:58 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 20 Jan 2022 17:58:54 +0000 (09:58 -0800)
commit56721df5eb1163ebec784fd9060e3e15fe8d9488
tree30c967f5837abdcc77080b80b8f670d5908cf2e1
parentf512525cc7fe4e627cf58e70f97976fcfe532e59
webapps.search: adding a header to the search page
extra/webapps/help/help.factor
extra/webapps/help/search.css
extra/webapps/help/search.xml