projects / software / mumi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e22ac49) | patch
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
tree7784e8e1e0fa1e4a73306a7bfb2c4b8c2f49ffb1tree | snapshot
parente22ac4903378fd3f0bde32ecb69a838cdaa8c2d0commit | diff
view: Provide search hints and link to /help.
mumi/web/view/html.scm diff | blob | history
Mediocre, uh, mail interface: mumi. A moderately prettier web frontend to Debbugs.