projects / software / mumi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 115234b) | patch
view/html: Add search-widget.
authorRicardo Wurmus <rekado@elephly.net>
Tue, 31 Mar 2020 21:53:07 +0000 (23:53 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Tue, 31 Mar 2020 21:53:07 +0000 (23:53 +0200)
commitf335e3b97130161171f9164c9d00469ff5088b77
tree2622735148a16f6d149d953066f5eeb6f14b09cctree | snapshot
parent115234b866b81bd150a97d975267baa4b07989facommit | diff
view/html: Add search-widget.
mumi/web/view/html.scm diff | blob | history
Mediocre, uh, mail interface: mumi. A moderately prettier web frontend to Debbugs.