view: Provide search hints and link to /help.
authorRicardo Wurmus <rekado@elephly.net>
Mon, 3 Sep 2018 12:49:51 +0000 (14:49 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Mon, 3 Sep 2018 12:49:51 +0000 (14:49 +0200)
commitb582203477c7587cba3d8df079c31cf795f470bc
tree7784e8e1e0fa1e4a73306a7bfb2c4b8c2f49ffb1
parente22ac4903378fd3f0bde32ecb69a838cdaa8c2d0
view: Provide search hints and link to /help.
mumi/web/view/html.scm