]> gitweb.factorcode.org Git - factor.git/commit
webapps: using nav html element, cleanup
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 5 Aug 2022 23:42:20 +0000 (16:42 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 5 Aug 2022 23:42:20 +0000 (16:42 -0700)
commitc5475012af6d40d9fc576f179d6603247e7c5117
tree7a50e9e5a59d50eed49b6bddc2a15f28c4d64e3e
parent8c25720dc0d75c2f6b6d14a67f96ff86cbc3000a
webapps: using nav html element, cleanup
14 files changed:
extra/parser-combinators/parser-combinators.html
extra/webapps/blogs/blogs-common.xml
extra/webapps/help/help.factor
extra/webapps/help/search.xml
extra/webapps/pastebin/pastebin-common.xml
extra/webapps/planet/planet-common.xml
extra/webapps/todo/todo.xml
extra/webapps/user-admin/user-admin.xml
extra/webapps/wee-url/wee-url.xml
extra/webapps/wiki/page-common.xml
extra/webapps/wiki/wiki-common.xml
extra/webapps/wiki/wiki-contents.css
extra/webapps/wiki/wiki.css
extra/websites/concatenative/page.css